2005

• 1.I.1C

  #Algebra and Geometry

  2005

  Convert the following expressions from suffix notation (assuming the summation convention in three dimensions) into standard notation using vectors and/or matrices, where possible, identifying the one expression that is incorrectly formed:

  (i) $\delta_{i j}$,

  (ii) $\delta_{i i} \delta_{i j}$,

  (iii) $\delta_{l l} a_{i} b_{j} C_{i j} d_{k}-C_{i k} d_{i}$,

  (iv) $\epsilon_{i j k} a_{k} b_{j}$,

  (v) $\epsilon_{i j k} a_{j} a_{k}$.

  Write the vector triple product $\mathbf{a} \times(\mathbf{b} \times \mathbf{c})$ in suffix notation and derive an equivalent expression that utilises scalar products. Express the result both in suffix notation and in standard vector notation. Hence or otherwise determine $\mathbf{a} \times(\mathbf{b} \times \mathbf{c})$ when $\mathbf{a}$ and $\mathbf{b}$ are orthogonal and $\mathbf{c}=\mathbf{a}+\mathbf{b}+\mathbf{a} \times \mathbf{b}$.

  comment

• 1.I.2B

  #Algebra and Geometry

  2005

  Let $\mathbf{n} \in \mathbb{R}^{3}$ be a unit vector. Consider the operation

  $$\mathbf{x} \mapsto \mathbf{n} \times \mathbf{x}$$

  Write this in matrix form, i.e., find a $3 \times 3$ matrix $\mathbf{A}$ such that $\mathbf{A} \mathbf{x}=\mathbf{n} \times \mathbf{x}$ for all $\mathbf{x}$, and compute the eigenvalues of $\mathbf{A}$. In the case when $\mathbf{n}=(0,0,1)$, compute $\mathbf{A}^{2}$ and its eigenvalues and eigenvectors.

  comment

• 1.II.5C

  #Algebra and Geometry

  2005

  Give the real and imaginary parts of each of the following functions of $z=x+i y$, with $x, y$ real, (i) $e^{z}$, (ii) $\cos z$, (iii) $\log z$, (iv) $\frac{1}{z}+\frac{1}{\bar{z}}$, (v) $z^{3}+3 z^{2} \bar{z}+3 z \bar{z}^{2}+\bar{z}^{3}-\bar{z}$,

  where $\bar{z}$ is the complex conjugate of $z$.

  An ant lives in the complex region $R$ given by $|z-1| \leq 1$. Food is found at $z$ such that

  $$(\log z)^{2}=-\frac{\pi^{2}}{16} .$$

  Drink is found at $z$ such that

  $$\frac{z+\frac{1}{2} \bar{z}}{\left(z-\frac{1}{2} \bar{z}\right)^{2}}=3, \quad z \neq 0$$

  Identify the places within $R$ where the ant will find the food or drink.

  comment

• 1.II.6B

  #Algebra and Geometry

  2005

  Let $\mathbf{A}$ be a real $3 \times 3$ matrix. Define the rank of $\mathbf{A}$. Describe the space of solutions of the equation

  $$\mathbf{A x}=\mathbf{b},$$

  organizing your discussion with reference to the rank of $\mathbf{A}$.

  Write down the equation of the tangent plane at $(0,1,1)$ on the sphere $x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=2$ and the equation of a general line in $\mathbb{R}^{3}$ passing through the origin $(0,0,0)$.

  Express the problem of finding points on the intersection of the tangent plane and the line in the form $(\dagger)$. Find, and give geometrical interpretations of, the solutions.

  comment

• 1.II.7A

  #Algebra and Geometry

  2005

  Consider two vectors $\mathbf{a}$ and $\mathbf{b}$ in $\mathbb{R}^{n}$. Show that a may be written as the sum of two vectors: one parallel (or anti-parallel) to $\mathbf{b}$ and the other perpendicular to $\mathbf{b}$. By setting the former equal to $\cos \theta|\mathbf{a}| \hat{\mathbf{b}}$, where $\hat{\mathbf{b}}$ is a unit vector along $\mathbf{b}$, show that

  $$\cos \theta=\frac{\mathbf{a} \cdot \mathbf{b}}{|\mathbf{a}||\mathbf{b}|}$$

  Explain why this is a sensible definition of the angle $\theta$ between $\mathbf{a}$ and $\mathbf{b}$.

  Consider the $2^{n}$ vertices of a cube of side 2 in $\mathbb{R}^{n}$, centered on the origin. Each vertex is joined by a straight line through the origin to another vertex: the lines are the $2^{n-1}$ diagonals of the cube. Show that no two diagonals can be perpendicular if $n$ is odd.

  For $n=4$, what is the greatest number of mutually perpendicular diagonals? List all the possible angles between the diagonals.

  comment

• 1.II.8A

  #Algebra and Geometry

  2005

  Given a non-zero vector $v_{i}$, any $3 \times 3$ symmetric matrix $T_{i j}$ can be expressed as

  $$T_{i j}=A \delta_{i j}+B v_{i} v_{j}+\left(C_{i} v_{j}+C_{j} v_{i}\right)+D_{i j}$$

  for some numbers $A$ and $B$, some vector $C_{i}$ and a symmetric matrix $D_{i j}$, where

  $$C_{i} v_{i}=0, \quad D_{i i}=0, \quad D_{i j} v_{j}=0,$$

  and the summation convention is implicit.

  Show that the above statement is true by finding $A, B, C_{i}$ and $D_{i j}$ explicitly in terms of $T_{i j}$ and $v_{j}$, or otherwise. Explain why $A, B, C_{i}$ and $D_{i j}$ together provide a space of the correct dimension to parameterise an arbitrary symmetric $3 \times 3$ matrix $T_{i j}$.

  comment

• 3.I.1D

  #Algebra and Geometry

  2005

  Let $A$ be a real $3 \times 3$ symmetric matrix with eigenvalues $\lambda_{1}>\lambda_{2}>\lambda_{3}>0$. Consider the surface $S$ in $\mathbb{R}^{3}$ given by

  $$x^{T} A x=1$$

  Find the minimum distance between the origin and $S$. How many points on $S$ realize this minimum distance? Justify your answer.

  comment

• 3.I.2D

  #Algebra and Geometry

  2005

  Define what it means for a group to be cyclic. If $p$ is a prime number, show that a finite group $G$ of order $p$ must be cyclic. Find all homomorphisms $\varphi: C_{11} \rightarrow C_{14}$, where $C_{n}$ denotes the cyclic group of order $n$. [You may use Lagrange's theorem.]

  comment

• 3.II.7D

  #Algebra and Geometry

  2005

  Let $G$ be a group and let $Z(G)=\{h \in G: g h=h g$ for all $g \in G\}$. Show that $Z(G)$ is a normal subgroup of $G .$

  Let $H$ be the set of all $3 \times 3$ real matrices of the form

  $$\left(\begin{array}{lll} 1 & x & y \\ 0 & 1 & z \\ 0 & 0 & 1 \end{array}\right)$$

  with $x, y, z \in \mathbb{R}$. Show that $H$ is a subgroup of the group of invertible real matrices under multiplication.

  Find $Z(H)$ and show that $H / Z(H)$ is isomorphic to $\mathbb{R}^{2}$ with vector addition.

  comment

• 3.II.8D

  #Algebra and Geometry

  2005

  Let $A$ be a $3 \times 3$ real matrix such that $\operatorname{det}(A)=-1, A \neq-I$, and $A^{T} A=I$, where $A^{T}$ is the transpose of $A$ and $I$ is the identity.

  Show that the set $E$ of vectors $x$ for which $A x=-x$ forms a 1-dimensional subspace.

  Consider the plane $\Pi$ through the origin which is orthogonal to $E$. Show that $A$ maps $\Pi$ to itself and induces a rotation of $\Pi$ by angle $\theta$, where $\cos \theta=\frac{1}{2}(\operatorname{trace}(A)+1)$. Show that $A$ is a reflection in $\Pi$ if and only if $A$ has trace 1 . [You may use the fact that $\operatorname{trace}\left(B A B^{-1}\right)=\operatorname{trace}(A)$ for any invertible matrix B.]

  Prove that $\operatorname{det}(A-I)=4(\cos \theta-1)$.

  comment

• 3.II.5D

  #Algebra and Geometry

  2005

  Define the notion of an action of a group $G$ on a set $X$. Assuming that $G$ is finite, state and prove the Orbit-Stabilizer Theorem.

  Let $G$ be a finite group and $X$ the set of its subgroups. Show that $g(K)=g K g^{-1}$ $(g \in G, K \in X)$ defines an action of $G$ on $X$. If $H$ is a subgroup of $G$, show that the orbit of $H$ has at most $|G| /|H|$ elements.

  Suppose $H$ is a subgroup of $G$ and $H \neq G$. Show that there is an element of $G$ which does not belong to any subgroup of the form $g H g^{-1}$ for $g \in G$.

  comment

• 3.II.6D

  #Algebra and Geometry

  2005

  Let $\mathcal{M}$ be the group of Möbius transformations of $\mathbb{C} \cup\{\infty\}$ and let $S L(2, \mathbb{C})$ be the group of all $2 \times 2$ complex matrices with determinant 1 .

  Show that the map $\theta: S L(2, \mathbb{C}) \rightarrow \mathcal{M}$ given by

  $$\theta\left(\begin{array}{ll} a & b \\ c & d \end{array}\right)(z)=\frac{a z+b}{c z+d}$$

  is a surjective homomorphism. Find its kernel.

  Show that every $T \in \mathcal{M}$ not equal to the identity is conjugate to a Möbius map $S$ where either $S z=\mu z$ with $\mu \neq 0,1$, or $S z=z \pm 1$. [You may use results about matrices in $S L(2, \mathbb{C})$, provided they are clearly stated.]

  Show that if $T \in \mathcal{M}$, then $T$ is the identity, or $T$ has one, or two, fixed points. Also show that if $T \in \mathcal{M}$ has only one fixed point $z_{0}$ then $T^{n} z \rightarrow z_{0}$ as $n \rightarrow \infty$ for any $z \in \mathbb{C} \cup\{\infty\} .$

  comment

• 1.I.3F

  #Analysis

  2005

  Define the supremum or least upper bound of a non-empty set of real numbers.

  Let $A$ denote a non-empty set of real numbers which has a supremum but no maximum. Show that for every $\epsilon>0$ there are infinitely many elements of $A$ contained in the open interval

  $$(\sup A-\epsilon, \sup A) .$$

  Give an example of a non-empty set of real numbers which has a supremum and maximum and for which the above conclusion does not hold.

  comment

• 1.I.4D

  #Analysis

  2005

  Let $\sum_{n=0}^{\infty} a_{n} z^{n}$ be a power series in the complex plane with radius of convergence $R$. Show that $\left|a_{n} z^{n}\right|$ is unbounded in $n$ for any $z$ with $|z|>R$. State clearly any results on absolute convergence that are used.

  For every $R \in[0, \infty]$, show that there exists a power series $\sum_{n=0}^{\infty} a_{n} z^{n}$ with radius of convergence $R$.

  comment

• 1.II.9F

  #Analysis

  2005

  Examine each of the following series and determine whether or not they converge.

  Give reasons in each case.

  $(i)$

  $(i i)$

  $$\sum_{n=1}^{\infty} \frac{1}{n^{2}+(-1)^{n+1} 2 n+1}$$

  (iii)

  $$\sum_{n=1}^{\infty} \frac{n^{3}+(-1)^{n} 8 n^{2}+1}{n^{4}+(-1)^{n+1} n^{2}}$$

  $(i v)$

  $$\sum_{n=1}^{\infty} \frac{n^{3}}{e^{e^{n}}}$$

  comment

• 1.II.10D

  #Analysis

  2005

  Explain what it means for a bounded function $f:[a, b] \rightarrow \mathbb{R}$ to be Riemann integrable.

  Let $f:[0, \infty) \rightarrow \mathbb{R}$ be a strictly decreasing continuous function. Show that for each $x \in(0, \infty)$, there exists a unique point $g(x) \in(0, x)$ such that

  $$\frac{1}{x} \int_{0}^{x} f(t) d t=f(g(x)) .$$

  Find $g(x)$ if $f(x)=e^{-x}$.

  Suppose now that $f$ is differentiable and $f^{\prime}(x)<0$ for all $x \in(0, \infty)$. Prove that $g$ is differentiable at all $x \in(0, \infty)$ and $g^{\prime}(x)>0$ for all $x \in(0, \infty)$, stating clearly any results on the inverse of $f$ you use.

  comment

• 1.II.11E

  #Analysis

  2005

  Prove that if $f$ is a continuous function on the interval $[a, b]$ with $f(a)<0<f(b)$ then $f(c)=0$ for some $c \in(a, b)$.

  Let $g$ be a continuous function on $[0,1]$ satisfying $g(0)=g(1)$. By considering the function $f(x)=g\left(x+\frac{1}{2}\right)-g(x)$ on $\left[0, \frac{1}{2}\right]$, show that $g\left(c+\frac{1}{2}\right)=g(c)$ for some $c \in\left[0, \frac{1}{2}\right]$. Show, more generally, that for any positive integer $n$ there exists a point $c_{n} \in\left[0, \frac{n-1}{n}\right]$ for which $g\left(c_{n}+\frac{1}{n}\right)=g\left(c_{n}\right)$.

  comment

• 1.II.12E

  #Analysis

  2005

  State and prove Rolle's Theorem.

  Prove that if the real polynomial $p$ of degree $n$ has all its roots real (though not necessarily distinct), then so does its derivative $p^{\prime}$. Give an example of a cubic polynomial $p$ for which the converse fails.

  comment

• 2.I.1B

  #Differential Equations

  2005

  Solve the equation

  $$\frac{d y}{d x}+3 x^{2} y=x^{2}$$

  with $y(0)=a$, by use of an integrating factor or otherwise. Find $\lim _{x \rightarrow+\infty} y(x)$.

  comment

• 2.I.2B

  #Differential Equations

  2005

  Obtain the general solution of

  $$x^{2} \frac{d^{2} y}{d x^{2}}+x \frac{d y}{d x}+y=0$$

  by using the indicial equation.

  Introduce $z=\log x$ as a new independent variable and find an equivalent second order differential equation with constant coefficients. Determine the general solution of this new equation, and show that it is equivalent to the general solution of $(*)$ found previously.

  comment

• 2.II.5B

  #Differential Equations

  2005

  Find two linearly independent solutions of the difference equation

  $$X_{n+2}-2 \cos \theta X_{n+1}+X_{n}=0$$

  for all values of $\theta \in(0, \pi)$. What happens when $\theta=0$ ? Find two linearly independent solutions in this case.

  Find $X_{n}(\theta)$ which satisfy the initial conditions

  $$X_{1}=1, \quad X_{2}=2,$$

  for $\theta=0$ and for $\theta \in(0, \pi)$. For every $n$, show that $X_{n}(\theta) \rightarrow X_{n}(0)$ as $\theta \rightarrow 0$.

  comment

• $2 . \mathrm{II} . 6 \mathrm{~B} \quad$

  #Differential Equations

  2005

  Find all power series solutions of the form $W=\sum_{n=0}^{\infty} a_{n} x^{n}$ to the equation

  $$-W^{\prime \prime}+2 x W^{\prime}=E W,$$

  for $E$ a real constant.

  Impose the condition $W(0)=0$ and determine those values of $E$ for which your power series gives polynomial solutions (i.e., $a_{n}=0$ for $n$ sufficiently large). Give the values of $E$ for which the corresponding polynomials have degree less than 6 , and compute these polynomials.

  Hence, or otherwise, find a polynomial solution of

  $$-W^{\prime \prime}+2 x W^{\prime}=x-\frac{4}{3} x^{3}+\frac{4}{15} x^{5},$$

  satisfying $W(0)=0$.

  comment

• 2.II.7B

  #Differential Equations

  2005

  The Cartesian coordinates $(x, y)$ of a point moving in $\mathbb{R}^{2}$ are governed by the system

  $$\begin{aligned} &\frac{d x}{d t}=-y+x\left(1-x^{2}-y^{2}\right), \\ &\frac{d y}{d t}=x+y\left(1-x^{2}-y^{2}\right) . \end{aligned}$$

  Transform this system of equations to polar coordinates $(r, \theta)$ and hence find all periodic solutions (i.e., closed trajectories) which satisfy $r=$ constant.

  Discuss the large time behaviour of an arbitrary solution starting at initial point $\left(x_{0}, y_{0}\right)=\left(r_{0} \cos \theta_{0}, r_{0} \sin \theta_{0}\right)$. Summarize the motion using a phase plane diagram, and comment on the nature of any critical points.

  comment

• 2.II.8B

  #Differential Equations

  2005

  Define the Wronskian $W\left[u_{1}, u_{2}\right]$ for two solutions $u_{1}, u_{2}$ of the equation

  $$\frac{d^{2} u}{d x^{2}}+p(x) \frac{d u}{d x}+q(x) u=0$$

  and obtain a differential equation which exhibits its dependence on $x$. Explain the relevance of the Wronskian to the linear independence of $u_{1}$ and $u_{2}$.

  Consider the equation

  $$x^{2} \frac{d^{2} y}{d x^{2}}-2 y=0$$

  and determine the dependence on $x$ of the Wronskian $W\left[y_{1}, y_{2}\right]$ of two solutions $y_{1}$ and $y_{2}$. Verify that $y_{1}(x)=x^{2}$ is a solution of $(*)$ and use the Wronskian to obtain a second linearly independent solution.

  comment

• 4.I.3C

  #Dynamics

  2005

  Planetary Explorers Ltd. want to put a communications satellite of mass $m$ into geostationary orbit around the spherical planet Zog (i.e. with the satellite always above the same point on the surface of Zog). The mass of Zog is $M$, the length of its day is $T$ and $G$ is the gravitational constant.

  Write down the equations of motion for a general orbit of the satellite and determine the radius and speed of the geostationary orbit.

  Describe briefly how the orbit is modified if the satellite is released at the correct radius and on the correct trajectory for a geostationary orbit, but with a little too much speed. Comment on how the satellite's speed varies around such an orbit.

  comment

• 4.I.4C

  #Dynamics

  2005

  A car of mass $M$ travelling at speed $U$ on a smooth, horizontal road attempts an emergency stop. The car skids in a straight line with none of its wheels able to rotate.

  Calculate the stopping distance and time on a dry road where the dry friction coefficient between the tyres and the road is $\mu$.

  At high speed on a wet road the grip of each of the four tyres changes from dry friction to a lubricated drag equal to $\frac{1}{4} \lambda u$ for each tyre, where $\lambda$ is the drag coefficient and $u$ the instantaneous speed of the car. However, the tyres regain their dry-weather grip when the speed falls below $\frac{1}{4} U$. Calculate the stopping distance and time under these conditions.

  comment

• 4.II.9C

  #Dynamics

  2005

  A particle of mass $m$ and charge $q$ moving in a vacuum through a magnetic field $\mathbf{B}$ and subject to no other forces obeys

  $$m \ddot{\mathbf{r}}=q \dot{\mathbf{r}} \times \mathbf{B}$$

  where $\mathbf{r}(t)$ is the location of the particle.

  For $\mathbf{B}=(0,0, B)$ with constant $B$, and using cylindrical polar coordinates $\mathbf{r}=$ $(r, \theta, z)$, or otherwise, determine the motion of the particle in the $z=0$ plane if its initial speed is $u_{0}$ with $\dot{z}=0$. [Hint: Choose the origin so that $\dot{r}=0$ and $\ddot{r}=0$ at $t=0$.]

  Due to a leak, a small amount of gas enters the system, causing the particle to experience a drag force $\mathbf{D}=-\mu \dot{\mathbf{r}}$, where $\mu \ll q B$. Write down the new governing equations and show that the speed of the particle decays exponentially. Sketch the path followed by the particle. [Hint: Consider the equations for the velocity in Cartesian coordinates; you need not apply any initial conditions.]

  comment

• 4.II.10C

  #Dynamics

  2005

  A keen cyclist wishes to analyse her performance on training rollers. She decides that the key components are her bicycle's rear wheel and the roller on which the wheel sits. The wheel, of radius $R$, has its mass $M$ entirely at its outer edge. The roller, which is driven by the wheel without any slippage, is a solid cylinder of radius $S$ and mass $M / 2$. The angular velocities of the wheel and roller are $\omega$ and $\sigma$, respectively.

  Determine $I$ and $J$, the moments of inertia of the wheel and roller, respectively. Find the ratio of the angular velocities of the wheel and roller. Show that the combined total kinetic energy of the wheel and roller is $\frac{1}{2} K \omega^{2}$, where

  $$K=\frac{5}{4} M R^{2}$$

  is the effective combined moment of inertia of the wheel and roller.

  Why should $K$ be used instead of just $I$ or $J$ in the equation connecting torque with angular acceleration? The cyclist believes the torque she can produce at the back wheel is $T=Q(1-\omega / \Omega)$ where $Q$ and $\Omega$ are dimensional constants. Determine the angular velocity of the wheel, starting from rest, as a function of time.

  In an attempt to make the ride more realistic, the cyclist adds a fan (of negligible mass) to the roller. The fan imposes a frictional torque $-\gamma \sigma^{2}$ on the roller, where $\gamma$ is a dimensional constant. Determine the new maximum speed for the wheel.

  comment

• 4.II.11C

  #Dynamics

  2005

  A puck of mass $m$ located at $\mathbf{r}=(x, y)$ slides without friction under the influence of gravity on a surface of height $z=h(x, y)$. Show that the equations of motion can be approximated by

  $$\ddot{\mathbf{r}}=-g \nabla h,$$

  where $g$ is the gravitational acceleration and the small slope approximation $\sin \phi \approx \tan \phi$ is used.

  Determine the motion of the puck when $h(x, y)=\alpha x^{2}$.

  Sketch the surface

  $$h(x, y)=h(r)=\frac{1}{r^{2}}-\frac{1}{r}$$

  as a function of $r$, where $r^{2}=x^{2}+y^{2}$. Write down the equations of motion of the puck on this surface in polar coordinates $\mathbf{r}=(r, \theta)$ under the assumption that the small slope approximation can be used. Show that $L$, the angular momentum per unit mass about the origin, is conserved. Show also that the initial kinetic energy per unit mass of the puck is $E_{0}=\frac{1}{2} L^{2} / r_{0}^{2}$ if the puck is released at radius $r_{0}$ with negligible radial velocity. Determine and sketch $\dot{r}^{2}$ as a function of $r$ for this release condition. What condition relating $L, r_{0}$ and $g$ must be satisfied for the orbit to be bounded?

  comment

• 4.II.12C

  #Dynamics

  2005

  In an experiment a ball of mass $m$ is released from a height $h_{0}$ above a flat, horizontal plate. Assuming the gravitational acceleration $g$ is constant and the ball falls through a vacuum, find the speed $u_{0}$ of the ball on impact.

  Determine the speed $u_{1}$ at which the ball rebounds if the coefficient of restitution for the collision is $\gamma$. What fraction of the impact energy is dissipated during the collision? Determine also the maximum height $h_{n}$ the ball reaches after the $n^{\text {th }}$ bounce, and the time $T_{n}$ between the $n^{t h}$ and $(n+1)^{t h}$ bounce. What is the total distance travelled by the ball before it comes to rest if $\gamma<1$ ?

  If the experiment is repeated in an atmosphere then the ball experiences a drag force $D=-\alpha|u| u$, where $\alpha$ is a dimensional constant and $u$ the instantaneous velocity of the ball. Write down and solve the modified equation for $u(t)$ before the ball first hits the plate.

  comment

• 4.I.1E

  #Numbers and Sets

  2005

  Find the unique positive integer $a$ with $a \leq 19$, for which

  $$17 ! \cdot 3^{16} \equiv a(\bmod 19) \text {. }$$

  Results used should be stated but need not be proved.

  Solve the system of simultaneous congruences

  $$\begin{aligned} &x \equiv 1(\bmod 2), \\ &x \equiv 1(\bmod 3) \\ &x \equiv 3(\bmod 4) \\ &x \equiv 4(\bmod 5) \end{aligned}$$

  Explain very briefly your reasoning.

  comment

• 4.I.2E

  #Numbers and Sets

  2005

  Give a combinatorial definition of the binomial coefficient $\left(\begin{array}{l}n \\ m\end{array}\right)$ for any non-negative integers $n, m$.

  Prove that $\left(\begin{array}{c}n \\ m\end{array}\right)=\left(\begin{array}{c}n \\ n-m\end{array}\right)$ for $0 \leq m \leq n$.

  Prove the identities

  $$\left(\begin{array}{l} n \\ k \end{array}\right)\left(\begin{array}{l} k \\ l \end{array}\right)=\left(\begin{array}{l} n \\ l \end{array}\right)\left(\begin{array}{l} n-l \\ k-l \end{array}\right)$$

  and

  $$\sum_{i=0}^{k}\left(\begin{array}{c} m \\ i \end{array}\right)\left(\begin{array}{c} n \\ k-i \end{array}\right)=\left(\begin{array}{c} n+m \\ k \end{array}\right)$$

  comment

• 4.II.5E

  #Numbers and Sets

  2005

  What does it mean for a set to be countable? Show that $\mathbb{Q} \times \mathbb{Q}$ is countable, and $\mathbb{R}$ is not countable.

  Let $D$ be any set of non-trivial discs in a plane, any two discs being disjoint. Show that $D$ is countable.

  Give an example of a set $C$ of non-trivial circles in a plane, any two circles being disjoint, which is not countable.

  comment

• 4.II.6E

  #Numbers and Sets

  2005

  Let $R$ be a relation on the set $S$. What does it mean for $R$ to be an equivalence relation on $S$ ? Show that if $R$ is an equivalence relation on $S$, the set of equivalence classes forms a partition of $S$.

  Let $G$ be a group, and let $H$ be a subgroup of $G$. Define a relation $R$ on $G$ by $a R b$ if $a^{-1} b \in H$. Show that $R$ is an equivalence relation on $G$, and that the equivalence classes are precisely the left cosets $g H$ of $H$ in $G$. Find a bijection from $H$ to any other coset $g H$. Deduce that if $G$ is finite then the order of $H$ divides the order of $G$.

  Let $g$ be an element of the finite group $G$. The order $o(g)$ of $g$ is the least positive integer $n$ for which $g^{n}=1$, the identity of $G$. If $o(g)=n$, then $G$ has a subgroup of order $n$; deduce that $g^{|G|}=1$ for all $g \in G$.

  Let $m$ be a natural number. Show that the set of integers in $\{1,2, \ldots, m\}$ which are prime to $m$ is a group under multiplication modulo $m$. [You may use any properties of multiplication and divisibility of integers without proof, provided you state them clearly.]

  Deduce that if $a$ is any integer prime to $m$ then $a^{\phi(m)} \equiv 1(\bmod \mathrm{m})$, where $\phi$ is the Euler totient function.

  comment

• 4.II $. 7 \mathrm{E} \quad$

  #Numbers and Sets

  2005

  State and prove the Principle of Inclusion and Exclusion.

  Use the Principle to show that the Euler totient function $\phi$ satisfies

  $$\phi\left(p_{1}^{c_{1}} \cdots p_{r}^{c_{r}}\right)=p_{1}^{c_{1}-1}\left(p_{1}-1\right) \cdots p_{r}^{c_{r}-1}\left(p_{r}-1\right) .$$

  Deduce that if $a$ and $b$ are coprime integers, then $\phi(a b)=\phi(a) \phi(b)$, and more generally, that if $d$ is any divisor of $n$ then $\phi(d)$ divides $\phi(n)$.

  Show that if $\phi(n)$ divides $n$ then $n=2^{c} 3^{d}$ for some non-negative integers $c, d$.

  comment

• 4.II.8E

  #Numbers and Sets

  2005

  The Fibonacci numbers are defined by the equations $F_{0}=0, F_{1}=1$ and $F_{n+1}=F_{n}+F_{n-1}$ for any positive integer $n$. Show that the highest common factor $\left(F_{n+1}, F_{n}\right)$ is $1 .$

  Let $n$ be a natural number. Prove by induction on $k$ that for all positive integers $k$,

  $$F_{n+k}=F_{k} F_{n+1}+F_{k-1} F_{n} .$$

  Deduce that $F_{n}$ divides $F_{n l}$ for all positive integers $l$. Deduce also that if $m \geq n$ then

  $$\left(F_{m}, F_{n}\right)=\left(F_{m-n}, F_{n}\right) .$$

  comment

• 2.I.3F

  #Probability

  2005

  Suppose $c \geqslant 1$ and $X_{c}$ is a positive real-valued random variable with probability density

  $$f_{c}(t)=A_{c} t^{c-1} e^{-t^{c}},$$

  for $t>0$, where $A_{c}$ is a constant.

  Find the constant $A_{c}$ and show that, if $c>1$ and $s, t>0$,

  $$\mathbb{P}\left[X_{c} \geqslant s+t \mid X_{c} \geqslant t\right]<\mathbb{P}\left[X_{c} \geqslant s\right]$$

  [You may assume the inequality $(1+x)^{c}>1+x^{c}$ for all $x>0, c>1$.]

  comment

• 2.I.4F

  #Probability

  2005

  Describe the Poisson distribution characterised by parameter $\lambda>0$. Calculate the mean and variance of this distribution in terms of $\lambda$.

  Show that the sum of $n$ independent random variables, each having the Poisson distribution with $\lambda=1$, has a Poisson distribution with $\lambda=n$.

  Use the central limit theorem to prove that

  $$e^{-n}\left(1+\frac{n}{1 !}+\frac{n^{2}}{2 !}+\ldots+\frac{n^{n}}{n !}\right) \rightarrow 1 / 2 \quad \text { as } \quad n \rightarrow \infty$$

  comment

• 2.II $. 9 \mathrm{~F} \quad$

  #Probability

  2005

  Given a real-valued random variable $X$, we define $\mathbb{E}\left[e^{i X}\right]$ by

  $$\mathbb{E}\left[e^{i X}\right] \equiv \mathbb{E}[\cos X]+i \mathbb{E}[\sin X]$$

  Consider a second real-valued random variable $Y$, independent of $X$. Show that

  $$\mathbb{E}\left[e^{i(X+Y)}\right]=\mathbb{E}\left[e^{i X}\right] \mathbb{E}\left[e^{i Y}\right]$$

  You gamble in a fair casino that offers you unlimited credit despite your initial wealth of 0 . At every game your wealth increases or decreases by $£ 1$ with equal probability $1 / 2$. Let $W_{n}$ denote your wealth after the $n^{t h}$ game. For a fixed real number $u$, compute $\phi(u)$ defined by

  $$\phi(u)=\mathbb{E}\left[e^{i u W_{n}}\right]$$

  Verify that the result is real-valued.

  Show that for $n$ even,

  $$\mathbb{P}\left[W_{n}=0\right]=\gamma \int_{0}^{\pi / 2}[\cos u]^{n} d u$$

  for some constant $\gamma$, which you should determine. What is $\mathbb{P}\left[W_{n}=0\right]$ for $n$ odd?

  comment

• 2.II.10F

  #Probability

  2005

  Alice and Bill fight a paint-ball duel. Nobody has been hit so far and they are both left with one shot. Being exhausted, they need to take a breath before firing their last shot. This takes $A$ seconds for Alice and $B$ seconds for Bill. Assume these times are exponential random variables with means $1 / \alpha$ and $1 / \beta$, respectively.

  Find the distribution of the (random) time that passes by before the next shot is fired. What is its standard deviation? What is the probability that Alice fires the next shot?

  Assume Alice has probability $1 / 2$ of hitting whenever she fires whereas Bill never misses his target. If the next shot is a hit, what is the probability that it was fired by Alice?

  comment

• 2.II.11F

  #Probability

  2005

  Let $(S, T)$ be uniformly distributed on $[-1,1]^{2}$ and define $R=\sqrt{S^{2}+T^{2}}$. Show that, conditionally on

  $$R \leqslant 1,$$

  the vector $(S, T)$ is uniformly distributed on the unit disc. Let $(R, \Theta)$ denote the point $(S, T)$ in polar coordinates and find its probability density function $f(r, \theta)$ for $r \in[0,1], \theta \in[0,2 \pi)$. Deduce that $R$ and $\Theta$ are independent.

  Introduce the new random variables

  $$X=\frac{S}{R} \sqrt{-2 \log \left(R^{2}\right)}, \quad Y=\frac{T}{R} \sqrt{-2 \log \left(R^{2}\right)}$$

  noting that under the above conditioning, $(S, T)$ are uniformly distributed on the unit disc. The pair $(X, Y)$ may be viewed as a (random) point in $\mathbb{R}^{2}$ with polar coordinates $(Q, \Psi)$. Express $Q$ as a function of $R$ and deduce its density. Find the joint density of $(Q, \Psi)$. Hence deduce that $X$ and $Y$ are independent normal random variables with zero mean and unit variance.

  comment

• 2.II.12F

  #Probability

  2005

  Let $a_{1}, a_{2}, \ldots, a_{n}$ be a ranking of the yearly rainfalls in Cambridge over the next $n$ years: assume $a_{1}, a_{2}, \ldots, a_{n}$ is a random permutation of $1,2, \ldots, n$. Year $k$ is called a record year if $a_{i}>a_{k}$ for all $i<k$ (thus the first year is always a record year). Let $Y_{i}=1$ if year $i$ is a record year and 0 otherwise.

  Find the distribution of $Y_{i}$ and show that $Y_{1}, Y_{2}, \ldots, Y_{n}$ are independent and calculate the mean and variance of the number of record years in the next $n$ years.

  Find the probability that the second record year occurs at year $i$. What is the expected number of years until the second record year occurs?

  comment

• 3.I.3A

  #Vector Calculus

  2005

  Let $\mathbf{A}(t, \mathbf{x})$ and $\mathbf{B}(t, \mathbf{x})$ be time-dependent, continuously differentiable vector fields on $\mathbb{R}^{3}$ satisfying

  $$\frac{\partial \mathbf{A}}{\partial t}=\nabla \times \mathbf{B} \quad \text { and } \quad \frac{\partial \mathbf{B}}{\partial t}=-\nabla \times \mathbf{A}$$

  Show that for any bounded region $V$,

  $$\frac{d}{d t}\left[\frac{1}{2} \int_{V}\left(\mathbf{A}^{2}+\mathbf{B}^{2}\right) d V\right]=-\int_{S}(\mathbf{A} \times \mathbf{B}) \cdot d \mathbf{S}$$

  where $S$ is the boundary of $V$.

  comment

• 3.I.4A

  #Vector Calculus

  2005

  Given a curve $\gamma(s)$ in $\mathbb{R}^{3}$, parameterised such that $\left\|\gamma^{\prime}(s)\right\|=1$ and with $\gamma^{\prime \prime}(s) \neq 0$, define the tangent $\mathbf{t}(s)$, the principal normal $\mathbf{p}(s)$, the curvature $\kappa(s)$ and the binormal $\mathbf{b}(s)$.

  The torsion $\tau(s)$ is defined by

  $$\tau=-\mathbf{b}^{\prime} \cdot \mathbf{p}$$

  Sketch a circular helix showing $\mathbf{t}, \mathbf{p}, \mathbf{b}$ and $\mathbf{b}^{\prime}$ at a chosen point. What is the sign of the torsion for your helix? Sketch a second helix with torsion of the opposite sign.

  comment

• 3.II.9A

  #Vector Calculus

  2005

  Let $V$ be a bounded region of $\mathbb{R}^{3}$ and $S$ be its boundary. Let $\phi$ be the unique solution to $\nabla^{2} \phi=0$ in $V$, with $\phi=f(\mathbf{x})$ on $S$, where $f$ is a given function. Consider any smooth function $w$ also equal to $f(\mathbf{x})$ on $S$. Show, by using Green's first theorem or otherwise, that

  $$\int_{V}|\nabla w|^{2} d V \geqslant \int_{V}|\nabla \phi|^{2} d V$$

  [Hint: Set $w=\phi+\delta .]$

  Consider the partial differential equation

  $$\frac{\partial}{\partial t} w=\nabla^{2} w$$

  for $w(t, \mathbf{x})$, with initial condition $w(0, \mathbf{x})=w_{0}(\mathbf{x})$ in $V$, and boundary condition $w(t, \mathbf{x})=$ $f(\mathbf{x})$ on $S$ for all $t \geqslant 0$. Show that

  $$\frac{\partial}{\partial t} \int_{V}|\nabla w|^{2} d V \leqslant 0$$

  with equality holding only when $w(t, \mathbf{x})=\phi(\mathbf{x})$.

  Show that $(*)$ remains true with the boundary condition

  $$\frac{\partial w}{\partial t}+\alpha(\mathbf{x}) \frac{\partial w}{\partial n}=0$$

  on $S$, provided $\alpha(\mathbf{x}) \geqslant 0$.

  3/II/10A Vector Calculus

  Write down Stokes' theorem for a vector field $\mathbf{B}(\mathbf{x})$ on $\mathbb{R}^{3}$.

  Consider the bounded surface $S$ defined by

  $$z=x^{2}+y^{2}, \quad \frac{1}{4} \leqslant z \leqslant 1$$

  Sketch the surface and calculate the surface element $d \mathbf{S}$. For the vector field

  $$\mathbf{B}=\left(-y^{3}, x^{3}, z^{3}\right)$$

  calculate $I=\int_{S}(\nabla \times \mathbf{B}) \cdot d \mathbf{S}$ directly.

  Show using Stokes' theorem that $I$ may be rewritten as a line integral and verify this yields the same result.

  comment

• 3.II.11A

  #Vector Calculus

  2005

  Explain, with justification, the significance of the eigenvalues of the Hessian in classifying the critical points of a function $f: \mathbb{R}^{n} \rightarrow \mathbb{R}$. In what circumstances are the eigenvalues inconclusive in establishing the character of a critical point?

  Consider the function on $\mathbb{R}^{2}$,

  $$f(x, y)=x y e^{-\alpha\left(x^{2}+y^{2}\right)}$$

  Find and classify all of its critical points, for all real $\alpha$. How do the locations of the critical points change as $\alpha \rightarrow 0$ ?

  comment

• 3.II.12A

  #Vector Calculus

  2005

  Express the integral

  $$I=\int_{0}^{\infty} d x \int_{0}^{1} d y \int_{0}^{x} d z x e^{-A x / y-B x y-C y z}$$

  in terms of the new variables $\alpha=x / y, \beta=x y$, and $\gamma=y z$. Hence show that

  $$I=\frac{1}{2 A(A+B)(A+B+C)}$$

  You may assume $A, B$ and $C$ are positive. [Hint: Remember to calculate the limits of the integral.]

  comment

• 1.I.1C

  #Linear Algebra

  2005

  Let $V$ be an $n$-dimensional vector space over $\mathbf{R}$, and let $\beta: V \rightarrow V$ be a linear map. Define the minimal polynomial of $\beta$. Prove that $\beta$ is invertible if and only if the constant term of the minimal polynomial of $\beta$ is non-zero.

  comment

• 1.II.9C

  #Linear Algebra

  2005

  Let $V$ be a finite dimensional vector space over $\mathbf{R}$, and $V^{*}$ be the dual space of $V$.

  If $W$ is a subspace of $V$, we define the subspace $\alpha(W)$ of $V^{*}$ by

  $$\alpha(W)=\left\{f \in V^{*}: f(w)=0 \text { for all } w \text { in } W\right\}$$

  Prove that $\operatorname{dim}(\alpha(W))=\operatorname{dim}(V)-\operatorname{dim}(W)$. Deduce that, if $A=\left(a_{i j}\right)$ is any real $m \times n$-matrix of rank $r$, the equations

  $$\sum_{j=1}^{n} a_{i j} x_{j}=0 \quad(i=1, \ldots, m)$$

  have $n-r$ linearly independent solutions in $\mathbf{R}^{n}$.

  comment

• 2.I.1C

  #Linear Algebra

  2005

  Let $\Omega$ be the set of all $2 \times 2$ matrices of the form $\alpha=a I+b J+c K+d L$, where $a, b, c, d$ are in $\mathbf{R}$, and

  $$I=\left(\begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array}\right), J=\left(\begin{array}{cc} i & 0 \\ 0 & -i \end{array}\right), K=\left(\begin{array}{cc} 0 & 1 \\ -1 & 0 \end{array}\right), L=\left(\begin{array}{cc} 0 & i \\ i & 0 \end{array}\right) \quad\left(i^{2}=-1\right) .$$

  Prove that $\Omega$ is closed under multiplication and determine its dimension as a vector space over $\mathbf{R}$. Prove that

  $$(a I+b J+c K+d L)(a I-b J-c K-d L)=\left(a^{2}+b^{2}+c^{2}+d^{2}\right) I$$

  and deduce that each non-zero element of $\Omega$ is invertible.

  comment

• 2.II.10C

  #Linear Algebra

  2005

  (i) Let $A=\left(a_{i j}\right)$ be an $n \times n$ matrix with entries in C. Define the determinant of $A$, the cofactor of each $a_{i j}$, and the adjugate matrix $\operatorname{adj}(A)$. Assuming the expansion of the determinant of a matrix in terms of its cofactors, prove that

  $$\operatorname{adj}(A) A=\operatorname{det}(A) I_{n}$$

  where $I_{n}$ is the $n \times n$ identity matrix.

  (ii) Let

  $$A=\left(\begin{array}{llll} 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \end{array}\right)$$

  Show the eigenvalues of $A$ are $\pm 1, \pm i$, where $i^{2}=-1$, and determine the diagonal matrix to which $A$ is similar. For each eigenvalue, determine a non-zero eigenvector.

  comment

• 3.II.10B

  #Linear Algebra

  2005

  Let $S$ be the vector space of functions $f: \mathbf{R} \rightarrow \mathbf{R}$ such that the $n$th derivative of $f$ is defined and continuous for every $n \geqslant 0$. Define linear maps $A, B: S \rightarrow S$ by $A(f)=d f / d x$ and $B(f)(x)=x f(x)$. Show that

  $$[A, B]=1_{S},$$

  where in this question $[A, B]$ means $A B-B A$ and $1_{S}$ is the identity map on $S$.

  Now let $V$ be any real vector space with linear maps $A, B: V \rightarrow V$ such that $[A, B]=1_{V}$. Suppose that there is a nonzero element $y \in V$ with $A y=0$. Let $W$ be the subspace of $V$ spanned by $y, B y, B^{2} y$, and so on. Show that $A(B y)$ is in $W$ and give a formula for it. More generally, show that $A\left(B^{i} y\right)$ is in $W$ for each $i \geqslant 0$, and give a formula for it.

  Show, using your formula or otherwise, that $\left\{y, B y, B^{2} y, \ldots\right\}$ are linearly independent. (Or, equivalently: show that $y, B y, B^{2} y, \ldots, B^{n} y$ are linearly independent for every $n \geqslant 0$.)

  comment

• 4.I.1B

  #Linear Algebra

  2005

  Define what it means for an $n \times n$ complex matrix to be unitary or Hermitian. Show that every eigenvalue of a Hermitian matrix is real. Show that every eigenvalue of a unitary matrix has absolute value 1 .

  Show that two eigenvectors of a Hermitian matrix that correspond to different eigenvalues are orthogonal, using the standard inner product on $\mathbf{C}^{n}$.

  comment

• 4.II.10B

  #Linear Algebra

  2005

  (i) Let $V$ be a finite-dimensional real vector space with an inner product. Let $e_{1}, \ldots, e_{n}$ be a basis for $V$. Prove by an explicit construction that there is an orthonormal basis $f_{1}, \ldots, f_{n}$ for $V$ such that the span of $e_{1}, \ldots, e_{i}$ is equal to the span of $f_{1}, \ldots, f_{i}$ for every $1 \leqslant i \leqslant n$.

  (ii) For any real number $a$, consider the quadratic form

  $$q_{a}(x, y, z)=x y+y z+z x+a x^{2}$$

  on $\mathbf{R}^{3}$. For which values of $a$ is $q_{a}$ nondegenerate? When $q_{a}$ is nondegenerate, compute its signature in terms of $a$.

  comment

• 1.II.10C

  #Groups, Rings and Modules

  2005

  Let $G$ be a group, and $H$ a subgroup of finite index. By considering an appropriate action of $G$ on the set of left cosets of $H$, prove that $H$ always contains a normal subgroup $K$ of $G$ such that the index of $K$ in $G$ is finite and divides $n$ !, where $n$ is the index of $H$ in $G$.

  Now assume that $G$ is a finite group of order $p q$, where $p$ and $q$ are prime numbers with $p<q$. Prove that the subgroup of $G$ generated by any element of order $q$ is necessarily normal.

  comment

• 2.I.2C

  #Groups, Rings and Modules

  2005

  Define an automorphism of a group $G$, and the natural group law on the set $\operatorname{Aut}(G)$ of all automorphisms of $G$. For each fixed $h$ in $G$, put $\psi(h)(g)=h g h^{-1}$ for all $g$ in $G$. Prove that $\psi(h)$ is an automorphism of $G$, and that $\psi$ defines a homomorphism from $G$ into $\operatorname{Aut}(G)$.

  comment

• 2.II.11C

  #Groups, Rings and Modules

  2005

  Let $A$ be the abelian group generated by two elements $x, y$, subject to the relation $6 x+9 y=0$. Give a rigorous explanation of this statement by defining $A$ as an appropriate quotient of a free abelian group of rank 2. Prove that $A$ itself is not a free abelian group, and determine the exact structure of $A$.

  comment

• 3.I.1C

  #Groups, Rings and Modules

  2005

  Define what is meant by two elements of a group $G$ being conjugate, and prove that this defines an equivalence relation on $G$. If $G$ is finite, sketch the proof that the cardinality of each conjugacy class divides the order of $G$.

  comment

• $3 . \mathrm{II} . 11 \mathrm{C}$

  #Groups, Rings and Modules

  2005

  (i) Define a primitive polynomial in $\mathbb{Z}[x]$, and prove that the product of two primitive polynomials is primitive. Deduce that $\mathbb{Z}[x]$ is a unique factorization domain.

  (ii) Prove that

  $$\mathbb{Q}[x] /\left(x^{5}-4 x+2\right)$$

  is a field. Show, on the other hand, that

  $$\mathbb{Z}[x] /\left(x^{5}-4 x+2\right)$$

  is an integral domain, but is not a field.

  comment

• 4.I.2C

  #Groups, Rings and Modules

  2005

  State Eisenstein's irreducibility criterion. Let $n$ be an integer $>1$. Prove that $1+x+\ldots+x^{n-1}$ is irreducible in $\mathbb{Z}[x]$ if and only if $n$ is a prime number.

  comment

• 4.II.11C

  #Groups, Rings and Modules

  2005

  Let $R$ be the ring of Gaussian integers $\mathbb{Z}[i]$, where $i^{2}=-1$, which you may assume to be a unique factorization domain. Prove that every prime element of $R$ divides precisely one positive prime number in $\mathbb{Z}$. List, without proof, the prime elements of $R$, up to associates.

  Let $p$ be a prime number in $\mathbb{Z}$. Prove that $R / p R$ has cardinality $p^{2}$. Prove that $R / 2 R$ is not a field. If $p \equiv 3 \bmod 4$, show that $R / p R$ is a field. If $p \equiv 1 \bmod 4$, decide whether $R / p R$ is a field or not, justifying your answer.

  comment

• 1.I $2 \mathrm{~A} \quad$

  #Geometry

  2005

  Let $\sigma: \mathbf{R}^{2} \rightarrow \mathbf{R}^{3}$ be the map defined by

  $$\sigma(u, v)=((a+b \cos u) \cos v,(a+b \cos u) \sin v, b \sin u)$$

  where $0<b<a$. Describe briefly the image $T=\sigma\left(\mathbf{R}^{2}\right) \subset \mathbf{R}^{3}$. Let $V$ denote the open subset of $\mathbf{R}^{2}$ given by $0<u<2 \pi, 0<v<2 \pi$; prove that the restriction $\sigma_{V}$ defines a smooth parametrization of a certain open subset (which you should specify) of $T$. Hence, or otherwise, prove that $T$ is a smooth embedded surface in $\mathbf{R}^{3}$.

  [You may assume that the image under $\sigma$ of any open set $B \subset \mathbf{R}^{2}$ is open in $T$.]

  comment

• 2.II.12A

  #Geometry

  2005

  Let $U$ be an open subset of $\mathbf{R}^{2}$ equipped with a Riemannian metric. For $\gamma:[0,1] \rightarrow U$ a smooth curve, define what is meant by its length and energy. Prove that length $(\gamma)^{2} \leq \operatorname{energy}(\gamma)$, with equality if and only if $\dot{\gamma}$ has constant norm with respect to the metric.

  Suppose now $U$ is the upper half plane model of the hyperbolic plane, and $P, Q$ are points on the positive imaginary axis. Show that a smooth curve $\gamma$ joining $P$ and $Q$ represents an absolute minimum of the length of such curves if and only if $\gamma(t)=i v(t)$, with $v$ a smooth monotonic real function.

  Suppose that a smooth curve $\gamma$ joining the above points $P$ and $Q$ represents a stationary point for the energy under proper variations; deduce from an appropriate form of the Euler-Lagrange equations that $\gamma$ must be of the above form, with $\dot{v} / v$ constant.

  comment

• 3.I.2A

  #Geometry

  2005

  Write down the Riemannian metric on the disc model $\Delta$ of the hyperbolic plane. Given that the length minimizing curves passing through the origin correspond to diameters, show that the hyperbolic circle of radius $\rho$ centred on the origin is just the Euclidean circle centred on the origin with Euclidean $\operatorname{radius~} \tanh (\rho / 2)$. Prove that the hyperbolic area is $2 \pi(\cosh \rho-1)$.

  State the Gauss-Bonnet theorem for the area of a hyperbolic triangle. Given a hyperbolic triangle and an interior point $P$, show that the distance from $P$ to the nearest side is at most $\cosh ^{-1}(3 / 2)$.

  comment

• 3.II.12A

  #Geometry

  2005

  Describe geometrically the stereographic projection map $\pi$ from the unit sphere $S^{2}$ to the extended complex plane $\mathbf{C}_{\infty}=\mathbf{C} \cup\{\infty\}$, positioned equatorially, and find a formula for $\pi$.

  Show that any Möbius transformation $T \neq 1$ on $\mathbf{C}_{\infty}$ has one or two fixed points. Show that the Möbius transformation corresponding (under the stereographic projection map) to a rotation of $S^{2}$ through a non-zero angle has exactly two fixed points $z_{1}$ and $z_{2}$, where $z_{2}=-1 / \bar{z}_{1}$. If now $T$ is a Möbius transformation with two fixed points $z_{1}$ and $z_{2}$ satisfying $z_{2}=-1 / \bar{z}_{1}$, prove that either $T$ corresponds to a rotation of $S^{2}$, or one of the fixed points, say $z_{1}$, is an attractive fixed point, i.e. for $z \neq z_{2}, T^{n} z \rightarrow z_{1}$ as $n \rightarrow \infty$.

  [You may assume the fact that any rotation of $S^{2}$ corresponds to some Möbius transformation of $\mathbf{C}_{\infty}$ under the stereographic projection map.]

  comment

• 4.II.12A

  #Geometry

  2005

  Given a parametrized smooth embedded surface $\sigma: V \rightarrow U \subset \mathbf{R}^{3}$, where $V$ is an open subset of $\mathbf{R}^{2}$ with coordinates $(u, v)$, and a point $P \in U$, define what is meant by the tangent space at $P$, the unit normal $\mathbf{N}$ at $P$, and the first fundamental form

  $$E d u^{2}+2 F d u d v+G d v^{2} .$$

  [You need not show that your definitions are independent of the parametrization.]

  The second fundamental form is defined to be

  $$L d u^{2}+2 M d u d v+N d v^{2},$$

  where $L=\sigma_{u u} \cdot \mathbf{N}, M=\sigma_{u v} \cdot \mathbf{N}$ and $N=\sigma_{v v} \cdot \mathbf{N}$. Prove that the partial derivatives of $\mathbf{N}$ (considered as a vector-valued function of $u, v$ ) are of the form $\mathbf{N}_{u}=a \sigma_{u}+b \sigma_{v}$, $\mathbf{N}_{v}=c \sigma_{u}+d \sigma_{v}$, where

  $$-\left(\begin{array}{cc} L & M \\ M & N \end{array}\right)=\left(\begin{array}{ll} a & b \\ c & d \end{array}\right)\left(\begin{array}{ll} E & F \\ F & G \end{array}\right)$$

  Explain briefly the significance of the determinant $a d-b c$.

  comment

• 1.II.11B

  #Analysis II

  2005

  Let $\left(f_{n}\right)_{n \geqslant 1}$ be a sequence of continuous real-valued functions defined on a set $E \subset \mathbf{R}$. Suppose that the functions $f_{n}$ converge uniformly to a function $f$. Prove that $f$ is continuous on $E$.

  Show that the series $\sum_{n=1}^{\infty} 1 / n^{1+x}$ defines a continuous function on the half-open interval $(0,1]$.

  [Hint: You may assume the convergence of standard series.]

  comment

• 2.I.3B

  #Analysis II

  2005

  Define uniform continuity for a real-valued function defined on an interval in $\mathbf{R}$.

  Is a uniformly continuous function on the interval $(0,1)$ necessarily bounded?

  Is $1 / x$ uniformly continuous on $(0,1)$ ?

  Is $\sin (1 / x)$ uniformly continuous on $(0,1)$ ?

  Justify your answers.

  comment

• 2.II.13B

  #Analysis II

  2005

  Use the standard metric on $\mathbf{R}^{n}$ in this question.

  (i) Let $A$ be a nonempty closed subset of $\mathbf{R}^{n}$ and $y$ a point in $\mathbf{R}^{n}$. Show that there is a point $x \in A$ which minimizes the distance to $y$, in the sense that $d(x, y) \leqslant d(a, y)$ for all $a \in A$.

  (ii) Suppose that the set $A$ in part (i) is convex, meaning that $A$ contains the line segment between any two of its points. Show that point $x \in A$ described in part (i) is unique.

  comment

• 3.I.3B

  #Analysis II

  2005

  Let $f: \mathbf{R}^{2} \rightarrow \mathbf{R}$ be a function. What does it mean to say that $f$ is differentiable at a point $(a, b)$ in $\mathbf{R}^{2}$ ? Show that if $f$ is differentiable at $(a, b)$, then $f$ is continuous at $(a, b)$.

  For each of the following functions, determine whether or not it is differentiable at $(0,0)$. Justify your answers.

  (i)

  $$f(x, y)= \begin{cases}x^{2} y^{2}\left(x^{2}+y^{2}\right)^{-1} & \text { if }(x, y) \neq(0,0) \\ 0 & \text { if }(x, y)=(0,0)\end{cases}$$

  (ii)

  $$f(x, y)= \begin{cases}x^{2}\left(x^{2}+y^{2}\right)^{-1} & \text { if }(x, y) \neq(0,0) \\ 0 & \text { if }(x, y)=(0,0)\end{cases}$$

  comment

• 3.II.13B

  #Analysis II

  2005

  Let $f$ be a real-valued differentiable function on an open subset $U$ of $\mathbf{R}^{n}$. Assume that $0 \notin U$ and that for all $x \in U$ and $\lambda>0, \lambda x$ is also in $U$. Suppose that $f$ is homogeneous of degree $c \in \mathbf{R}$, in the sense that $f(\lambda x)=\lambda^{c} f(x)$ for all $x \in U$ and $\lambda>0$. By means of the Chain Rule or otherwise, show that

  $$\left.D f\right|_{x}(x)=c f(x)$$

  for all $x \in U$. (Here $\left.D f\right|_{x}$ denotes the derivative of $f$ at $x$, viewed as a linear map $\mathbf{R}^{n} \rightarrow \mathbf{R}$.)

  Conversely, show that any differentiable function $f$ on $U$ with $\left.D f\right|_{x}(x)=c f(x)$ for all $x \in U$ must be homogeneous of degree $c$.

  comment

• 4.I 3 B

  #Analysis II

  2005

  Let $V$ be the vector space of continuous real-valued functions on $[0,1]$. Show that the function

  $$\|f\|=\int_{0}^{1}|f(x)| d x$$

  defines a norm on $V$.

  For $n=1,2, \ldots$, let $f_{n}(x)=e^{-n x}$. Is $f_{n}$ a convergent sequence in the space $V$ with this norm? Justify your answer.

  comment

• 4.II.13B

  #Analysis II

  2005

  Let $F:[-a, a] \times\left[x_{0}-r, x_{0}+r\right] \rightarrow \mathbf{R}$ be a continuous function. Let $C$ be the maximum value of $|F(t, x)|$. Suppose there is a constant $K$ such that

  $$|F(t, x)-F(t, y)| \leqslant K|x-y|$$

  for all $t \in[-a, a]$ and $x, y \in\left[x_{0}-r, x_{0}+r\right]$. Let $b<\min (a, r / C, 1 / K)$. Show that there is a unique $C^{1}$ function $x:[-b, b] \rightarrow\left[x_{0}-r, x_{0}+r\right]$ such that

  $$x(0)=x_{0}$$

  and

  $$\frac{d x}{d t}=F(t, x(t)) .$$

  [Hint: First show that the differential equation with its initial condition is equivalent to the integral equation

  $$\left.x(t)=x_{0}+\int_{0}^{t} F(s, x(s)) d s .\right]$$

  comment

• 1.II.12A

  #Metric and Topological Spaces

  2005

  Suppose that $\left(X, d_{X}\right)$ and $\left(Y, d_{Y}\right)$ are metric spaces. Show that the definition

  $$d\left(\left(x_{1}, y_{1}\right),\left(x_{2}, y_{2}\right)\right)=d_{X}\left(x_{1}, x_{2}\right)+d_{Y}\left(y_{1}, y_{2}\right)$$

  defines a metric on the product $X \times Y$, under which the projection map $\pi: X \times Y \rightarrow Y$ is continuous.

  If $\left(X, d_{X}\right)$ is compact, show that every sequence in $X$ has a subsequence converging to a point of $X$. Deduce that the projection map $\pi$ then has the property that, for any closed subset $F \subset X \times Y$, the image $\pi(F)$ is closed in $Y$. Give an example to show that this fails if $\left(X, d_{X}\right)$ is not assumed compact.

  comment

• 2.I.4A

  #Metric and Topological Spaces

  2005

  Let $X$ be a topological space. Suppose that $U_{1}, U_{2}, \ldots$ are connected subsets of $X$ with $U_{j} \cap U_{1}$ non-empty for all $j>0$. Prove that

  $$W=\bigcup_{j>0} U_{j}$$

  is connected. If each $U_{j}$ is path-connected, prove that $W$ is path-connected.

  comment

• 3.I.4A

  #Metric and Topological Spaces

  2005

  Show that a topology $\tau_{1}$ is determined on the real line $\mathbf{R}$ by specifying that a nonempty subset is open if and only if it is a union of half-open intervals $\{a \leq x<b\}$, where $a<b$ are real numbers. Determine whether $\left(\mathbf{R}, \tau_{1}\right)$ is Hausdorff.

  Let $\tau_{2}$ denote the cofinite topology on $\mathbf{R}$ (that is, a non-empty subset is open if and only if its complement is finite). Prove that the identity map induces a continuous $\operatorname{map}\left(\mathbf{R}, \tau_{1}\right) \rightarrow\left(\mathbf{R}, \tau_{2}\right)$.

  comment

• 4.II.14A

  #Metric and Topological Spaces

  2005

  Let $(M, d)$ be a metric space, and $F$ a non-empty closed subset of $M$. For $x \in M$, set

  $$d(x, F)=\inf _{z \in F} d(x, z)$$

  Prove that $d(x, F)$ is a continuous function of $x$, and that it is strictly positive for $x \notin F$.

  A topological space is called normal if for any pair of disjoint closed subsets $F_{1}, F_{2}$, there exist disjoint open subsets $U_{1} \supset F_{1}, U_{2} \supset F_{2}$. By considering the function

  $$d\left(x, F_{1}\right)-d\left(x, F_{2}\right)$$

  or otherwise, deduce that any metric space is normal.

  Suppose now that $X$ is a normal topological space, and that $F_{1}, F_{2}$ are disjoint closed subsets in $X$. Prove that there exist open subsets $W_{1} \supset F_{1}, W_{2} \supset F_{2}$, whose closures are disjoint. In the case when $X=\mathbf{R}^{2}$ with the standard metric topology, $F_{1}=\{(x,-1 / x): x<0\}$ and $F_{2}=\{(x, 1 / x): x>0\}$, find explicit open subsets $W_{1}, W_{2}$ with the above property.

  comment

• 1.I.3F

  #Complex Analysis or Complex Methods

  2005

  State the Cauchy integral formula.

  Using the Cauchy integral formula, evaluate

  $$\int_{|z|=2} \frac{z^{3}}{z^{2}+1} d z$$

  comment

• 1.II.13F

  #Complex Analysis or Complex Methods

  2005

  Determine a conformal mapping from $\Omega_{0}=\mathbf{C} \backslash[-1,1]$ to the complex unit disc $\Omega_{1}=\{z \in \mathbf{C}:|z|<1\} .$

  [Hint: A standard method is first to map $\Omega_{0}$ to $\mathbf{C} \backslash(-\infty, 0]$, then to the complex right half-plane $\{z \in \mathbf{C}: \operatorname{Re} z>0\}$ and, finally, to $\left.\Omega_{1} .\right]$

  comment

• 2.II.14F

  #Complex Analysis or Complex Methods

  2005

  Let $F=P / Q$ be a rational function, where $\operatorname{deg} Q \geqslant \operatorname{deg} P+2$ and $Q$ has no real zeros. Using the calculus of residues, write a general expression for

  $$\int_{-\infty}^{\infty} F(x) e^{i x} d x$$

  in terms of residues and briefly sketch its proof.

  Evaluate explicitly the integral

  $$\int_{-\infty}^{\infty} \frac{\cos x}{4+x^{4}} d x$$

  comment

• 3.II.14A

  #Complex Analysis

  2005

  State the Cauchy integral formula, and use it to deduce Liouville's theorem.

  Let $f$ be a meromorphic function on the complex plane such that $\left|f(z) / z^{n}\right|$ is bounded outside some disc (for some fixed integer $n$ ). By considering Laurent expansions, or otherwise, show that $f$ is a rational function in $z$.

  comment

• 4.I.4A

  #Complex Analysis

  2005

  Let $\gamma:[0,1] \rightarrow \mathbf{C}$ be a closed path, where all paths are assumed to be piecewise continuously differentiable, and let $a$ be a complex number not in the image of $\gamma$. Write down an expression for the winding number $n(\gamma, a)$ in terms of a contour integral. From this characterization of the winding number, prove the following properties:

  (a) If $\gamma_{1}$ and $\gamma_{2}$ are closed paths not passing through zero, and if $\gamma:[0,1] \rightarrow \mathbf{C}$ is defined by $\gamma(t)=\gamma_{1}(t) \gamma_{2}(t)$ for all $t$, then

  $$n(\gamma, 0)=n\left(\gamma_{1}, 0\right)+n\left(\gamma_{2}, 0\right)$$

  (b) If $\eta:[0,1] \rightarrow \mathbf{C}$ is a closed path whose image is contained in $\{\operatorname{Re}(z)>0\}$, then $n(\eta, 0)=0$.

  (c) If $\gamma_{1}$ and $\gamma_{2}$ are closed paths and $a$ is a complex number, not in the image of either path, such that

  $$\left|\gamma_{1}(t)-\gamma_{2}(t)\right|<\left|\gamma_{1}(t)-a\right|$$

  for all $t$, then $n\left(\gamma_{1}, a\right)=n\left(\gamma_{2}, a\right)$.

  [You may wish here to consider the path defined by $\eta(t)=1-\left(\gamma_{1}(t)-\gamma_{2}(t)\right) /\left(\gamma_{1}(t)-a\right)$.]

  comment

• 3.I.5F

  #Complex Methods

  2005

  Define a harmonic function and state when the harmonic functions $f$ and $g$ are conjugate

  Let $\{u, v\}$ and $\{p, q\}$ be two pairs of harmonic conjugate functions. Prove that $\{p(u, v), q(u, v)\}$ are also harmonic conjugate.

  comment

• 4.II.15F

  #Complex Methods

  2005

  Determine the Fourier expansion of the function $f(x)=\sin \lambda x$, where $-\pi \leqslant x \leqslant \pi$, in the two cases where $\lambda$ is an integer and $\lambda$ is a real non-integer.

  Using the Parseval identity in the case $\lambda=\frac{1}{2}$, find an explicit expression for the sum

  $$\sum_{n=1}^{\infty} \frac{n^{2}}{\left(4 n^{2}-1\right)^{2}}$$

  comment

• 1.II.14E

  #Methods

  2005

  Find the Fourier Series of the function

  $$f(\theta)= \begin{cases}1 & 0 \leq \theta<\pi \\ -1 & \pi \leq \theta<2 \pi\end{cases}$$

  Find the solution $\phi(r, \theta)$ of the Poisson equation in two dimensions inside the unit disk $r \leq 1$

  $$\nabla^{2} \phi=\frac{1}{r} \frac{\partial}{\partial r}\left(r \frac{\partial \phi}{\partial r}\right)+\frac{1}{r^{2}} \frac{\partial^{2} \phi}{\partial \theta^{2}}=f(\theta)$$

  subject to the boundary condition $\phi(1, \theta)=0$.

  [Hint: The general solution of $r^{2} R^{\prime \prime}+r R^{\prime}-n^{2} R=r^{2}$ is $R=a r^{n}+b r^{-n}-r^{2} /\left(n^{2}-4\right) .$ ]

  From the solution, show that

  $$\int_{r \leq 1} f \phi d A=-\frac{4}{\pi} \sum_{n \text { odd }} \frac{1}{n^{2}(n+2)^{2}}$$

  comment

• 2.I.5E

  #Methods

  2005

  Consider the differential equation for $x(t)$ in $t>0$

  $$\ddot{x}-k^{2} x=f(t),$$

  subject to boundary conditions $x(0)=0$, and $\dot{x}(0)=0$. Find the Green function $G\left(t, t^{\prime}\right)$ such that the solution for $x(t)$ is given by

  $$x(t)=\int_{0}^{t} G\left(t, t^{\prime}\right) f\left(t^{\prime}\right) d t^{\prime} .$$

  comment

• 2.II.15E

  #Methods

  2005

  Write down the Euler-Lagrange equation for the variational problem for $r(z)$

  $$\delta \int_{-h}^{h} F\left(z, r, r^{\prime}\right) d z=0$$

  with boundary conditions $r(-h)=r(h)=R$, where $R$ is a given positive constant. Show that if $F$ does not depend explicitly on $z$, i.e. $F=F\left(r, r^{\prime}\right)$, then the equation has a first integral

  $$F-r^{\prime} \frac{\partial F}{\partial r^{\prime}}=\frac{1}{k},$$

  where $k$ is a constant.

  An axisymmetric soap film $r(z)$ is formed between two circular rings $r=R$ at $z=\pm H$. Find the equation governing the shape which minimizes the surface area. Show that the shape takes the form

  $$r(z)=k^{-1} \cosh k z .$$

  Show that there exist no solution if $R / H<\sinh A$, where $A$ is the unique positive solution of $A=\operatorname{coth} A$.

  comment

• 3.I.6E

  #Methods

  2005

  Describe briefly the method of Lagrangian multipliers for finding the stationary points of a function $f(x, y)$ subject to a constraint $g(x, y)=0$.

  Use the method to find the stationary values of $x y$ subject to the constraint $\frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}=1 .$

  comment

• 3.II.15H

  #Methods

  2005

  Obtain the power series solution about $t=0$ of

  $$\left(1-t^{2}\right) \frac{\mathrm{d}^{2}}{\mathrm{~d} t^{2}} y-2 t \frac{\mathrm{d}}{\mathrm{d} t} y+\lambda y=0$$

  and show that regular solutions $y(t)=P_{n}(t)$, which are polynomials of degree $n$, are obtained only if $\lambda=n(n+1), n=0,1,2, \ldots$ Show that the polynomial must be even or odd according to the value of $n$.

  Show that

  $$\int_{-1}^{1} P_{n}(t) P_{m}(t) \mathrm{d} t=k_{n} \delta_{n m}$$

  for some $k_{n}>0$.

  Using the identity

  $$\left(x \frac{\partial^{2}}{\partial x^{2}} x+\frac{\partial}{\partial t}\left(1-t^{2}\right) \frac{\partial}{\partial t}\right) \frac{1}{\left(1-2 x t+x^{2}\right)^{\frac{1}{2}}}=0,$$

  and considering an expansion $\sum_{n} a_{n}(x) P_{n}(t)$ show that

  $$\frac{1}{\left(1-2 x t+x^{2}\right)^{\frac{1}{2}}}=\sum_{n=0}^{\infty} x^{n} P_{n}(t), \quad 0<x<1$$

  if we assume $P_{n}(1)=1$.

  By considering

  $$\int_{-1}^{1} \frac{1}{1-2 x t+x^{2}} d t$$

  determine the coefficient $k_{n}$.

  comment

• 4.I.5H

  #Methods

  2005

  Show how the general solution of the wave equation for $y(x, t)$,

  $$\frac{1}{c^{2}} \frac{\partial^{2}}{\partial t^{2}} y(x, t)-\frac{\partial^{2}}{\partial x^{2}} y(x, t)=0$$

  can be expressed as

  $$y(x, t)=f(c t-x)+g(c t+x) .$$

  Show that the boundary conditions $y(0, t)=y(L, t)=0$ relate the functions $f$ and $g$ and require them to be periodic with period $2 L$.

  Show that, with these boundary conditions,

  $$\frac{1}{2} \int_{0}^{L}\left(\frac{1}{c^{2}}\left(\frac{\partial y}{\partial t}\right)^{2}+\left(\frac{\partial y}{\partial x}\right)^{2}\right) \mathrm{d} x=\int_{-L}^{L} g^{\prime}(c t+x)^{2} \mathrm{~d} x$$

  and that this is a constant independent of $t$.

  comment

• 4.II.16H

  #Methods

  2005

  Define an isotropic tensor and show that $\delta_{i j}, \epsilon_{i j k}$ are isotropic tensors.

  For $\hat{\mathbf{x}}$ a unit vector and $\mathrm{d} S(\hat{\mathbf{x}})$ the area element on the unit sphere show that

  $$\int \mathrm{d} S(\hat{\mathbf{x}}) \hat{x}_{i_{1}} \ldots \hat{x}_{i_{n}}$$

  is an isotropic tensor for any $n$. Hence show that

  $$\begin{aligned} &\int \mathrm{d} S(\hat{\mathbf{x}}) \hat{x}_{i} \hat{x}_{j}=a \delta_{i j}, \quad \int \mathrm{d} S(\hat{\mathbf{x}}) \hat{x}_{i} \hat{x}_{j} \hat{x}_{k}=0 \\ &\int \mathrm{d} S(\hat{\mathbf{x}}) \hat{x}_{i} \hat{x}_{j} \hat{x}_{k} \hat{x}_{l}=b\left(\delta_{i j} \delta_{k l}+\delta_{i k} \delta_{j l}+\delta_{i l} \delta_{j k}\right) \end{aligned}$$

  for some $a, b$ which should be determined.

  Explain why

  $$\int_{V} \mathrm{~d}^{3} x\left(x_{1}+\sqrt{-1} x_{2}\right)^{n} f(|\mathbf{x}|)=0, \quad n=2,3,4$$

  where $V$ is the region inside the unit sphere.

  [The general isotropic tensor of rank 4 has the form $a \delta_{i j} \delta_{k l}+b \delta_{i k} \delta_{j l}+c \delta_{i l} \delta_{j k} .$ ]

  comment

• 1.II.15G

  #Quantum Mechanics

  2005

  The wave function of a particle of mass $m$ that moves in a one-dimensional potential well satisfies the Schrödinger equation with a potential that is zero in the region $-a \leq x \leq a$ and infinite elsewhere,

  $$V(x)=0 \quad \text { for } \quad|x| \leq a, \quad V(x)=\infty \quad \text { for } \quad|x|>a$$

  Determine the complete set of normalised energy eigenfunctions for the particle and show that the energy eigenvalues are

  $$E=\frac{\hbar^{2} \pi^{2} n^{2}}{8 m a^{2}}$$

  where $n$ is a positive integer.

  At time $t=0$ the wave function is

  $$\psi(x)=\frac{1}{\sqrt{5 a}} \cos \left(\frac{\pi x}{2 a}\right)+\frac{2}{\sqrt{5 a}} \sin \left(\frac{\pi x}{a}\right)$$

  in the region $-a \leq x \leq a$, and zero otherwise. Determine the possible results for a measurement of the energy of the system and the relative probabilities of obtaining these energies.

  In an experiment the system is measured to be in its lowest possible energy eigenstate. The width of the well is then doubled while the wave function is unaltered. Calculate the probability that a later measurement will find the particle to be in the lowest energy state of the new potential well.

  comment

• 2.II.16G

  #Quantum Mechanics

  2005

  A particle of mass $m$ moving in a one-dimensional harmonic oscillator potential satisfies the Schrödinger equation

  $$H \Psi(x, t)=i \hbar \frac{\partial}{\partial t} \Psi(x, t),$$

  where the Hamiltonian is given by

  $$H=-\frac{\hbar^{2}}{2 m} \frac{d^{2}}{d x^{2}}+\frac{1}{2} m \omega^{2} x^{2}$$

  The operators $a$ and $a^{\dagger}$ are defined by

  $$a=\frac{1}{\sqrt{2}}\left(\beta x+\frac{i}{\beta \hbar} p\right), \quad a^{\dagger}=\frac{1}{\sqrt{2}}\left(\beta x-\frac{i}{\beta \hbar} p\right)$$

  where $\beta=\sqrt{m \omega / \hbar}$ and $p=-i \hbar \partial / \partial x$ is the usual momentum operator. Show that $\left[a, a^{\dagger}\right]=1$.

  Express $x$ and $p$ in terms of $a$ and $a^{\dagger}$ and, hence or otherwise, show that $H$ can be written in the form

  $$H=\left(a^{\dagger} a+\frac{1}{2}\right) \hbar \omega$$

  Show, for an arbitrary wave function $\Psi$, that $\int d x \Psi^{*} H \Psi \geq \frac{1}{2} \hbar \omega$ and hence that the energy of any state satisfies the bound

  $$E \geq \frac{1}{2} \hbar \omega$$

  Hence, or otherwise, show that the ground state wave function satisfies $a \Psi_{0}=0$ and that its energy is given by

  $$E_{0}=\frac{1}{2} \hbar \omega$$

  By considering $H$ acting on $a^{\dagger} \Psi_{0},\left(a^{\dagger}\right)^{2} \Psi_{0}$, and so on, show that states of the form

  $$\left(a^{\dagger}\right)^{n} \Psi_{0}$$

  $(n>0)$ are also eigenstates and that their energies are given by $E_{n}=\left(n+\frac{1}{2}\right) \hbar \omega .$

  comment

• 3.I.7G

  #Quantum Mechanics

  2005

  The wave function $\Psi(x, t)$ is a solution of the time-dependent Schrödinger equation for a particle of mass $m$ in a potential $V(x)$,

  $$H \Psi(x, t)=i \hbar \frac{\partial}{\partial t} \Psi(x, t),$$

  where $H$ is the Hamiltonian. Define the expectation value, $\langle\mathcal{O}\rangle$, of any operator $\mathcal{O}$.

  At time $t=0, \Psi(x, t)$ can be written as a sum of the form

  $$\Psi(x, 0)=\sum_{n} a_{n} u_{n}(x),$$

  where $u_{n}$ is a complete set of normalized eigenfunctions of the Hamiltonian with energy eigenvalues $E_{n}$ and $a_{n}$ are complex coefficients that satisfy $\sum_{n} a_{n}^{*} a_{n}=1$. Find $\Psi(x, t)$ for $t>0$. What is the probability of finding the system in a state with energy $E_{p}$ at time $t$ ?

  Show that the expectation value of the energy is independent of time.

  comment

• 3.II.16G

  #Quantum Mechanics

  2005

  A particle of mass $\mu$ moves in two dimensions in an axisymmetric potential. Show that the time-independent Schrödinger equation can be separated in polar coordinates. Show that the angular part of the wave function has the form $e^{i m \phi}$, where $\phi$ is the angular coordinate and $m$ is an integer. Suppose that the potential is zero for $r<a$, where $r$ is the radial coordinate, and infinite otherwise. Show that the radial part of the wave function satisfies

  $$\frac{d^{2} R}{d \rho^{2}}+\frac{1}{\rho} \frac{d R}{d \rho}+\left(1-\frac{m^{2}}{\rho^{2}}\right) R=0$$

  where $\rho=r\left(2 \mu E / \hbar^{2}\right)^{1 / 2}$. What conditions must $R$ satisfy at $r=0$ and $R=a$ ?

  Show that, when $m=0$, the equation has the solution $R(\rho)=\sum_{k=0}^{\infty} A_{k} \rho^{k}$, where $A_{k}=0$ if $k$ is odd and

  $$A_{k+2}=-\frac{A_{k}}{(k+2)^{2}}$$

  if $k$ is even

  Deduce the coefficients $A_{2}$ and $A_{4}$ in terms of $A_{0}$. By truncating the series expansion at order $\rho^{4}$, estimate the smallest value of $\rho$ at which the $R$ is zero. Hence give an estimate of the ground state energy.

  [You may use the fact that the Laplace operator is given in polar coordinates by the expression

  $$\left.\nabla^{2}=\frac{\partial^{2}}{\partial r^{2}}+\frac{1}{r} \frac{\partial}{\partial r}+\frac{1}{r^{2}} \frac{\partial^{2}}{\partial \phi^{2}}\right]$$

  comment

• 4.I.6G

  #Quantum Mechanics

  2005

  Define the commutator $[A, B]$ of two operators, $A$ and $B$. In three dimensions angular momentum is defined by a vector operator $\mathbf{L}$ with components

  $$L_{x}=y p_{z}-z p_{y} \quad L_{y}=z p_{x}-x p_{z} \quad L_{z}=x p_{y}-y p_{x}$$

  Show that $\left[L_{x}, L_{y}\right]=i \hbar L_{z}$ and use this, together with permutations, to show that $\left[\mathbf{L}^{2}, L_{w}\right]=0$, where $w$ denotes any of the directions $x, y, z$.

  At a given time the wave function of a particle is given by

  $$\psi=(x+y+z) \exp \left(-\sqrt{x^{2}+y^{2}+z^{2}}\right)$$

  Show that this is an eigenstate of $\mathbf{L}^{2}$ with eigenvalue equal to $2 \hbar^{2}$.

  comment

• 1.II.16H

  #Electromagnetism

  2005

  For a static charge density $\rho(\mathbf{x})$ show that the energy may be expressed as

  $$E=\frac{1}{2} \int \rho \phi \mathrm{d}^{3} x=\frac{\epsilon_{0}}{2} \int \mathbf{E}^{2} \mathrm{~d}^{3} x,$$

  where $\phi(\mathbf{x})$ is the electrostatic potential and $\mathbf{E}(\mathbf{x})$ is the electric field.

  Determine the scalar potential and electric field for a sphere of radius $R$ with a constant charge density $\rho$. Also determine the total electrostatic energy.

  In a nucleus with $Z$ protons the volume is proportional to $Z$. Show that we may expect the electric contribution to energy to be proportional to $Z^{\frac{5}{3}}$.

  comment

• 2.I.6H

  #Electromagnetism

  2005

  Write down Maxwell's equations in the presence of a charge density $\rho$ and current density $\mathbf{J}$. Show that it is necessary that $\rho, \mathbf{J}$ satisfy a conservation equation.

  If $\rho, \mathbf{J}$ are zero outside a fixed region $V$ show that the total charge inside $V$ is a constant and also that

  $$\frac{\mathrm{d}}{\mathrm{d} t} \int_{V} \mathbf{x} \rho \mathrm{d}^{3} x=\int_{V} \mathbf{J ~}^{3} x .$$

  comment

• 2.II.17H

  #Electromagnetism

  2005

  Assume the magnetic field

  $$\mathbf{B}(\mathbf{x})=b(\mathbf{x}-3 \hat{\mathbf{z}} \hat{\mathbf{z}} \cdot \mathbf{x}),$$

  where $\hat{\mathbf{z}}$ is a unit vector in the vertical direction. Show that this satisfies the expected equations for a static magnetic field in vacuum.

  A circular wire loop, of radius $a$, mass $m$ and resistance $R$, lies in a horizontal plane with its centre on the $z$-axis at a height $z$ and there is a magnetic field given by $(*)$. Calculate the magnetic flux arising from this magnetic field through the loop and also the force acting on the loop when a current $I$ is flowing around the loop in a clockwise direction about the $z$-axis.

  Obtain an equation of motion for the height $z(t)$ when the wire loop is falling under gravity. Show that there is a solution in which the loop falls with constant speed $v$ which should be determined. Verify that in this situation the rate at which heat is generated by the current flowing in the loop is equal to the rate of loss of gravitational potential energy. What happens when $R \rightarrow 0$ ?

  comment

• 3.II.17H

  #Electromagnetism

  2005

  If $\mathbf{E}(\mathbf{x}, t), \mathbf{B}(\mathbf{x}, t)$ are solutions of Maxwell's equations in a region without any charges or currents show that $\mathbf{E}^{\prime}(\mathbf{x}, t)=c \mathbf{B}(\mathbf{x}, t), \mathbf{B}^{\prime}(\mathbf{x}, t)=-\mathbf{E}(\mathbf{x}, t) / c$ are also solutions.

  At the boundary of a perfect conductor with normal $\mathbf{n}$ briefly explain why

  $$\mathbf{n} \cdot \mathbf{B}=0, \quad \mathbf{n} \times \mathbf{E}=0$$

  Electromagnetic waves inside a perfectly conducting tube with axis along the $z$-axis are given by the real parts of complex solutions of Maxwell's equations of the form

  $$\mathbf{E}(\mathbf{x}, t)=\mathbf{e}(x, y) e^{i(k z-\omega t)}, \quad \mathbf{B}(\mathbf{x}, t)=\mathbf{b}(x, y) e^{i(k z-\omega t)} .$$

  Suppose $b_{z}=0$. Show that we can find a solution in this case in terms of a function $\psi(x, y)$ where

  $$\left(e_{x}, e_{y}\right)=\left(\frac{\partial}{\partial x} \psi, \frac{\partial}{\partial y} \psi\right), \quad e_{z}=i\left(k-\frac{\omega^{2}}{k c^{2}}\right) \psi,$$

  so long as $\psi$ satisfies

  $$\left(\frac{\partial^{2}}{\partial x^{2}}+\frac{\partial^{2}}{\partial y^{2}}+\gamma^{2}\right) \psi=0$$

  for suitable $\gamma$. Show that the boundary conditions are satisfied if $\psi=0$ on the surface of the tube.

  Obtain a similar solution with $e_{z}=0$ but show that the boundary conditions are now satisfied if the normal derivative $\partial \psi / \partial n=0$ on the surface of the tube.

  comment

• 4.I.7H

  #Electromagnetism

  2005

  For a static current density $\mathbf{J}(\mathbf{x})$ show that we may choose the vector potential $\mathbf{A}(\mathbf{x})$ so that

  $$-\nabla^{2} \mathbf{A}=\mu_{0} \mathbf{J} .$$

  For a loop $L$, centred at the origin, carrying a current $I$ show that

  $$\mathbf{A}(\mathbf{x})=\frac{\mu_{0} I}{4 \pi} \oint_{L} \frac{1}{|\mathbf{x}-\mathbf{r}|} \mathrm{d} \mathbf{r} \sim-\frac{\mu_{0} I}{4 \pi} \frac{1}{|\mathbf{x}|^{3}} \oint_{L} \frac{1}{2} \mathbf{x} \times(\mathbf{r} \times \mathrm{d} \mathbf{r}) \quad \text { as } \quad|\mathbf{x}| \rightarrow \infty$$

  [You may assume

  $$-\nabla^{2} \frac{1}{4 \pi|\mathbf{x}|}=\delta^{3}(\mathbf{x})$$

  and for fixed vectors $\mathbf{a}, \mathbf{b}$

  $$\left.\oint_{L} \mathbf{a} \cdot \mathrm{d} \mathbf{r}=0, \quad \oint_{L}(\mathbf{a} \cdot \mathbf{r} \mathbf{b} \cdot \mathrm{d} \mathbf{r}+\mathbf{b} \cdot \mathbf{r} \mathbf{a} \cdot \mathrm{d} \mathbf{r})=0 .\right]$$

  comment

• 1.I.4G

  #Special Relativity

  2005

  The four-velocity $U_{\mu}$ of a particle of rest mass $m$ is defined by $U_{\mu}=d x_{\mu} / d \tau$, where $\tau$ is the proper time (the time as measured in the particle's rest frame). Derive the expression for each of the four components of $U_{\mu}$ in terms of the components of the three-velocity and the speed of light, $c$.

  Show that $U \cdot U=c^{2}$ for an appropriately defined scalar product.

  The four-momentum, $p_{\mu}=m U_{\mu}$, of a particle of rest mass $m$ defines a relativistic generalisation of energy and momentum. Show that the standard non-relativistic expressions for the momentum and kinetic energy of a particle with mass $m$ travelling with velocity $v$ are obtained in the limit $v / c \ll 1$. Show also how the concept of a rest energy equal to $m c^{2}$ emerges.

  comment

• 2.I.7G

  #Special Relativity

  2005

  Bob and Alice are twins. Bob accelerates rapidly away from Earth in a rocket that travels in a straight line until it reaches a velocity $v$ relative to the Earth. It then travels with constant $v$ for a long time before reversing its engines and decelerating rapidly until it is travelling at a velocity $-v$ relative to the Earth. After a further long period of time the rocket returns to Earth, decelerating rapidly until it is at rest. Alice remains on Earth throughout. Sketch the space-time diagram that describes Bob's world-line in Alice's rest frame, assuming that the periods of acceleration and deceleration are negligibly small compared to the total time, explain carefully why Bob ages less than Alice between his departure and his return and show that

  $$\Delta t_{B}=\left(1-\frac{v^{2}}{c^{2}}\right)^{1 / 2} \Delta t_{A}$$

  where $\Delta t_{B}$ is the time by which Bob has aged and $\Delta t_{A}$ is the time by which Alice has aged.

  Indicate on your diagram how Bob sees Alice aging during his voyage.

  comment

• 4.II.17G

  #Special Relativity

  2005

  Obtain the Lorentz transformations that relate the coordinates of an event measured in one inertial frame $(t, x, y, z)$ to those in another inertial frame moving with velocity $v$ along the $x$ axis. Take care to state the assumptions that lead to your result.

  A star is at rest in a three-dimensional coordinate frame $\mathcal{S}^{\prime}$ that is moving at constant velocity $v$ along the $x$ axis of a second coordinate frame $\mathcal{S}$. The star emits light of frequency $\nu^{\prime}$, which may considered to be a beam of photons. A light ray from the star to the origin in $\mathcal{S}^{\prime}$ is a straight line that makes an angle $\theta^{\prime}$ with the $x^{\prime}$ axis. Write down the components of the four-momentum of a photon in this light ray.

  The star is seen by an observer at rest at the origin of $\mathcal{S}$ at time $t=t^{\prime}=0$, when the origins of the coordinate frames $\mathcal{S}$ and $\mathcal{S}^{\prime}$ coincide. The light that reaches the observer moves along a line through the origin that makes an angle $\theta$ to the $x$ axis and has frequency $\nu$. Make use of the Lorentz transformations between the four-momenta of a photon in these two frames to determine the relation

  $$\lambda=\lambda^{\prime}\left(1-\frac{v^{2}}{c^{2}}\right)^{-1 / 2}\left(1+\frac{v}{c} \cos \theta\right)$$

  where $\lambda$ is the observed wavelength of the photon and $\lambda^{\prime}$ is the wavelength in the star's rest frame.

  Comment on the form of this result in the special cases with $\cos \theta=1, \cos \theta=-1$ and $\cos \theta=0$.

  [You may assume that the energy of a photon of frequency $\nu \mathrm{~ i s ~ h}$ momentum is a three-vector of magnitude $h \nu / c .]$

  comment

• 1.I.5E

  #Fluid Dynamics

  2005

  Explain how a streamfunction $\psi$ can be used to represent in Cartesian Coordinates an incompressible flow in two dimensions. Show that the streamlines are given by $\psi=$ const.

  Consider the two-dimensional incompressible flow

  $$\mathbf{u}(x, y, t)=(x+\sin t,-y)$$

  (a) Find the streamfunction, and hence the streamlines at $t=\frac{\pi}{2}$.

  (b) Find the path of a fluid particle released at $t=0$ from $\left(x_{0}, 1\right)$. For what value of $x_{0}$ does the particle not tend to infinity?

  comment

• 1.II.17E

  #Fluid Dynamics

  2005

  State Bernoulli's expression for the pressure in an unsteady potential flow with conservative force $-\nabla \chi$.

  A spherical bubble in an incompressible liquid of density $\rho$ has radius $R(t)$. If the pressure far from the bubble is $p_{\infty}$ and inside the bubble is $p_{b}$, show that

  $$p_{b}-p_{\infty}=\rho\left(\frac{3}{2} \dot{R}^{2}+R \ddot{R}\right)$$

  Calculate the kinetic energy $K(t)$ in the flow outside the bubble, and hence show that

  $$\dot{K}=\left(p_{b}-p_{\infty}\right) \dot{V}$$

  where $V(t)$ is the volume of the bubble.

  If $p_{b}(t)=p_{\infty} V_{0} / V$, show that

  $$K=K_{0}+p_{\infty}\left(V_{0} \ln \frac{V}{V_{0}}-V+V_{0}\right)$$

  where $K=K_{0}$ when $V=V_{0}$.

  comment

• 2.I.8E

  #Fluid Dynamics

  2005

  For a steady flow of an incompressible fluid of density $\rho$, show that

  $$\mathbf{u} \times \boldsymbol{\omega}=\nabla H,$$

  where $\boldsymbol{\omega}=\nabla \times \mathbf{u}$ is the vorticity and $H$ is to be found. Deduce that $H$ is constant along streamlines.

  Now consider a flow in the $x y$-plane described by a streamfunction $\psi(x, y)$. Evaluate $\mathbf{u} \times \boldsymbol{\omega}$ and deduce from $H=H(\psi)$ that

  $$\frac{d H}{d \psi}+\omega=0$$

  comment

• 3.II.18E

  #Fluid Dynamics

  2005

  Consider the velocity potential in plane polar coordinates

  $$\phi(r, \theta)=U\left(r+\frac{a^{2}}{r}\right) \cos \theta+\frac{\kappa \theta}{2 \pi}$$

  Find the velocity field and show that it corresponds to flow past a cylinder $r=a$ with circulation $\kappa$ and uniform flow $U$ at large distances.

  Find the distribution of pressure $p$ over the surface of the cylinder. Hence find the $x$ and $y$ components of the force on the cylinder

  $$\left(F_{x}, F_{y}\right)=\int(\cos \theta, \sin \theta) p a d \theta .$$

  comment

• 4.II.18E

  #Fluid Dynamics

  2005

  A fluid of density $\rho_{1}$ occupies the region $z>0$ and a second fluid of density $\rho_{2}$ occupies the region $z<0$. State the equations and boundary conditions that are satisfied by the corresponding velocity potentials $\phi_{1}$ and $\phi_{2}$ and pressures $p_{1}$ and $p_{2}$ when the system is perturbed so that the interface is at $z=\zeta(x, t)$ and the motion is irrotational.

  Seek a set of linearised equations and boundary conditions when the disturbances are proportional to $e^{i(k x-\omega t)}$, and derive the dispersion relation

  $$\omega^{2}=\frac{\rho_{2}-\rho_{1}}{\rho_{2}+\rho_{1}} g k,$$

  where $g$ is the gravitational acceleration.

  comment

• 1.I.6F

  #Numerical Analysis

  2005

  Determine the Cholesky factorization (without pivoting) of the matrix

  $$A=\left[\begin{array}{ccc} 2 & -4 & 2 \\ -4 & 10+\lambda & 2+3 \lambda \\ 2 & 2+3 \lambda & 23+9 \lambda \end{array}\right]$$

  where $\lambda$ is a real parameter. Hence, find the range of values of $\lambda$ for which the matrix $A$ is positive definite.

  comment

• 2.II.18F

  #Numerical Analysis

  2005

  (a) Let $\left\{Q_{n}\right\}_{n \geqslant 0}$ be a set of polynomials orthogonal with respect to some inner product $(\cdot, \cdot)$ in the interval $[a, b]$. Write explicitly the least-squares approximation to $f \in C[a, b]$ by an $n$ th-degree polynomial in terms of the polynomials $\left\{Q_{n}\right\}_{n \geqslant 0}$.

  (b) Let an inner product be defined by the formula

  $$(g, h)=\int_{-1}^{1}\left(1-x^{2}\right)^{-\frac{1}{2}} g(x) h(x) d x$$

  Determine the $n$th degree polynomial approximation of $f(x)=\left(1-x^{2}\right)^{\frac{1}{2}}$ with respect to this inner product as a linear combination of the underlying orthogonal polynomials.

  comment

• 3.II.19F

  #Numerical Analysis

  2005

  Given real $\mu \neq 0$, we consider the matrix

  $$A=\left[\begin{array}{cccc} \frac{1}{\mu} & 1 & 0 & 0 \\ -1 & \frac{1}{\mu} & 1 & 0 \\ 0 & -1 & \frac{1}{\mu} & 1 \\ 0 & 0 & -1 & \frac{1}{\mu} \end{array}\right]$$

  Construct the Jacobi and Gauss-Seidel iteration matrices originating in the solution of the linear system $A x=b$.

  Determine the range of real $\mu \neq 0$ for which each iterative procedure converges.

  comment

• 4.I.8F

  #Numerical Analysis

  2005

  Define Gaussian quadrature.

  Evaluate the coefficients of the Gaussian quadrature of the integral

  $$\int_{-1}^{1}\left(1-x^{2}\right) f(x) d x$$

  which uses two function evaluations.

  comment

• $1 . \mathrm{I} . 7 \mathrm{D} \quad$

  #Statistics

  2005

  The fast-food chain McGonagles have three sizes of their takeaway haggis, Large, Jumbo and Soopersize. A survey of 300 randomly selected customers at one branch choose 92 Large, 89 Jumbo and 119 Soopersize haggises.

  Is there sufficient evidence to reject the hypothesis that all three sizes are equally popular? Explain your answer carefully.

  $$\left[\begin{array}{ccccccccc} \text { Distribution } & t_{1} & t_{2} & t_{3} & \chi_{1}^{2} & \chi_{2}^{2} & \chi_{3}^{2} & F_{1,2} & F_{2,3} \\ \text { 95\% percentile } & 6 \cdot 31 & 2.92 & 2 \cdot 35 & 3.84 & 5.99 & 7 \cdot 82 & 18 \cdot 51 & 9.55 \end{array}\right]$$

  comment

• 1.II.18D

  #Statistics

  2005

  In the context of hypothesis testing define the following terms: (i) simple hypothesis; (ii) critical region; (iii) size; (iv) power; and (v) type II error probability.

  State, without proof, the Neyman-Pearson lemma.

  Let $X$ be a single observation from a probability density function $f$. It is desired to test the hypothesis

  $$H_{0}: f=f_{0} \quad \text { against } \quad H_{1}: f=f_{1},$$

  with $f_{0}(x)=\frac{1}{2}|x| e^{-x^{2} / 2}$ and $f_{1}(x)=\Phi^{\prime}(x),-\infty<x<\infty$, where $\Phi(x)$ is the distribution function of the standard normal, $N(0,1)$.

  Determine the best test of size $\alpha$, where $0<\alpha<1$, and express its power in terms of $\Phi$ and $\alpha$.

  Find the size of the test that minimizes the sum of the error probabilities. Explain your reasoning carefully.

  comment

• 2.II.19D

  #Statistics

  2005

  Let $X_{1}, \ldots, X_{n}$ be a random sample from a probability density function $f(x \mid \theta)$, where $\theta$ is an unknown real-valued parameter which is assumed to have a prior density $\pi(\theta)$. Determine the optimal Bayes point estimate $a\left(X_{1}, \ldots, X_{n}\right)$ of $\theta$, in terms of the posterior distribution of $\theta$ given $X_{1}, \ldots, X_{n}$, when the loss function is

  $$L(\theta, a)= \begin{cases}\gamma(\theta-a) & \text { when } \theta \geqslant a \\ \delta(a-\theta) & \text { when } \theta \leqslant a\end{cases}$$

  where $\gamma$ and $\delta$ are given positive constants.

  Calculate the estimate explicitly in the case when $f(x \mid \theta)$ is the density of the uniform distribution on $(0, \theta)$ and $\pi(\theta)=e^{-\theta} \theta^{n} / n !, \theta>0$.

  comment

• 3.I.8D

  #Statistics

  2005

  Let $X_{1}, \ldots, X_{n}$ be a random sample from a normal distribution with mean $\mu$ and variance $\sigma^{2}$, where $\mu$ and $\sigma^{2}$ are unknown. Derive the form of the size- $\alpha$ generalized likelihood-ratio test of the hypothesis $H_{0}: \mu=\mu_{0}$ against $H_{1}: \mu \neq \mu_{0}$, and show that it is equivalent to the standard $t$-test of size $\alpha$.

  [You should state, but need not derive, the distribution of the test statistic.]

  comment

• 4.II.19D

  #Statistics

  2005

  Let $Y_{1}, \ldots, Y_{n}$ be observations satisfying

  $$Y_{i}=\beta x_{i}+\epsilon_{i}, \quad 1 \leqslant i \leqslant n$$

  where $\epsilon_{1}, \ldots, \epsilon_{n}$ are independent random variables each with the $N\left(0, \sigma^{2}\right)$ distribution. Here $x_{1}, \ldots, x_{n}$ are known but $\beta$ and $\sigma^{2}$ are unknown.

  (i) Determine the maximum-likelihood estimates $\left(\widehat{\beta}, \widehat{\sigma}^{2}\right)$ of $\left(\beta, \sigma^{2}\right)$.

  (ii) Find the distribution of $\widehat{\beta}$.

  (iii) By showing that $Y_{i}-\widehat{\beta} x_{i}$ and $\widehat{\beta}$ are independent, or otherwise, determine the joint distribution of $\widehat{\beta}$ and $\widehat{\sigma}^{2}$.

  (iv) Explain carefully how you would test the hypothesis $H_{0}: \beta=\beta_{0}$ against $H_{1}: \beta \neq \beta_{0}$.

  comment

• 1.I.8D

  #Optimization

  2005

  Consider the problem:

  $$\begin{array}{ll} \text { Minimize } & \sum_{i=1}^{m} \sum_{j=1}^{n} c_{i j} x_{i j} \\ \text { subject to } & \sum_{j=1}^{n} x_{i j}=a_{i}, \quad i=1, \ldots, m, \\ & \sum_{i=1}^{m} x_{i j}=b_{j}, \quad j=1, \ldots, n \\ & x_{i j} \geqslant 0, \quad \text { for all } i, j \end{array}$$

  where $a_{i} \geqslant 0, b_{j} \geqslant 0$ satisfy $\sum_{i=1}^{m} a_{i}=\sum_{j=1}^{n} b_{j}$.

  Formulate the dual of this problem and state necessary and sufficient conditions for optimality.

  comment

• 2.I.9D

  #Optimization

  2005

  Explain what is meant by a two-person zero-sum game with payoff matrix $A=\left(a_{i j}\right)$.

  Show that the problems of the two players may be expressed as a dual pair of linear programming problems. State without proof a set of sufficient conditions for a pair of strategies for the two players to be optimal.

  comment

• 3.II.20D

  #Optimization

  2005

  Consider the linear programming problem

  $$\begin{aligned} \operatorname{maximize} \quad 4 x_{1}+x_{2}-9 x_{3} & \\ \text { subject to } \quad x_{2}-11 x_{3} & \leqslant 11 \\ -3 x_{1}+2 x_{2}-7 x_{3} & \leqslant 16 \\ 9 x_{1}-2 x_{2}+10 x_{3} & \leqslant 29, \quad x_{i} \geqslant 0, \quad i=1,2,3 . \end{aligned}$$

  (a) After adding slack variables $z_{1}, z_{2}$ and $z_{3}$ and performing one pivot in the simplex algorithm the following tableau is obtained:

  \begin{tabular}{c|rrrrrr|r} & $x_{1}$ & $x_{2}$ & $x_{3}$ & $z_{1}$ & $z_{2}$ & $z_{3}$ & \ \hline$z_{1}$ & 0 & 1 & $-11$ & 1 & 0 & 0 & 11 \ $z_{2}$ & 0 & $\frac{4}{3}$ & $-\frac{11}{3}$ & 0 & 1 & $\frac{1}{3}$ & $\frac{77}{3}$ \ $x_{1}$ & 1 & $-\frac{2}{9}$ & $\frac{10}{9}$ & 0 & 0 & $\frac{1}{9}$ & $\frac{29}{9}$ \ \hline Payoff & 0 & $\frac{17}{9}$ & $-\frac{121}{9}$ & 0 & 0 & $-\frac{4}{9}$ & $-\frac{116}{9}$ \end{tabular}

  Complete the solution of the problem using the simplex algorithm.

  (b) Obtain the dual problem and identify its optimal solution from the optimal tableau in (a).

  (c) Suppose that the right-hand sides in the constraints to the original problem are changed from $(11,16,29)$ to $\left(11+\epsilon_{1}, 16+\epsilon_{2}, 29+\epsilon_{3}\right)$. Give necessary and sufficient conditions on $\left(\epsilon_{1}, \epsilon_{2}, \epsilon_{3}\right)$ which ensure that the optimal solution to the dual obtained in (b) remains optimal for the dual for the amended problem.

  comment

• 4.II.20D

  #Optimization

  2005

  Describe the Ford-Fulkerson algorithm for finding a maximal flow from a source to a sink in a directed network with capacity constraints on the arcs. Explain why the algorithm terminates at an optimal flow when the initial flow and the capacity constraints are rational.

  Illustrate the algorithm by applying it to the problem of finding a maximal flow from $S$ to $T$ in the network below.

  

  comment

• 1.II.19D

  #Markov Chains

  2005

  Every night Lancelot and Guinevere sit down with four guests for a meal at a circular dining table. The six diners are equally spaced around the table and just before each meal two individuals are chosen at random and they exchange places from the previous night while the other four diners stay in the same places they occupied at the last meal; the choices on successive nights are made independently. On the first night Lancelot and Guinevere are seated next to each other.

  Find the probability that they are seated diametrically opposite each other on the $(n+1)$ th night at the round table, $n \geqslant 1$.

  comment

• 2.II.20D

  #Markov Chains

  2005

  Consider a Markov chain $\left(X_{n}\right)_{n \geqslant 0}$ with state space $\{0,1,2, \ldots\}$ and transition probabilities given by

  $$P_{i, j}=p q^{i-j+1}, \quad 0<j \leqslant i+1, \quad \text { and } \quad P_{i, 0}=q^{i+1} \quad \text { for } \quad i \geqslant 0$$

  with $P_{i, j}=0$, otherwise, where $0<p<1$ and $q=1-p$.

  For each $i \geqslant 1$, let

  $$h_{i}=\mathbb{P}\left(X_{n}=0, \text { for some } n \geqslant 0 \mid X_{0}=i\right),$$

  that is, the probability that the chain ever hits the state 0 given that it starts in state $i$. Write down the equations satisfied by the probabilities $\left\{h_{i}, i \geqslant 1\right\}$ and hence, or otherwise, show that they satisfy a second-order recurrence relation with constant coefficients. Calculate $h_{i}$ for each $i \geqslant 1$.

  Determine for each value of $p, 0<p<1$, whether the chain is transient, null recurrent or positive recurrent and in the last case calculate the stationary distribution.

  [Hint: When the chain is positive recurrent, the stationary distribution is geometric.]

  comment

• 3.I.9D

  #Markov Chains

  2005

  Prove that if two states of a Markov chain communicate then they have the same period.

  Consider a Markov chain with state space $\{1,2, \ldots, 7\}$ and transition probabilities determined by the matrix

  $$\left(\begin{array}{ccccccc} 0 & \frac{1}{4} & \frac{1}{4} & 0 & 0 & \frac{1}{4} & \frac{1}{4} \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & \frac{1}{3} & 0 & \frac{1}{3} & \frac{1}{3} \\ \frac{1}{2} & 0 & 0 & 0 & 0 & \frac{1}{2} & 0 \\ \frac{1}{6} & \frac{1}{6} & \frac{1}{6} & \frac{1}{6} & 0 & \frac{1}{6} & \frac{1}{6} \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 \end{array}\right)$$

  Identify the communicating classes of the chain and for each class state whether it is open or closed and determine its period.

  comment

• 4.I.9D

  #Markov Chains

  2005

  Prove that the simple symmetric random walk in three dimensions is transient.

  [You may wish to recall Stirling's formula: $n ! \sim(2 \pi)^{\frac{1}{2}} n^{n+\frac{1}{2}} e^{-n} .$ ]

  comment

• 1.I.1H

  #Number Theory

  2005

  Define the Legendre symbol $\left(\frac{a}{p}\right)$. Prove that, if $p$ is an odd prime, then

  $$\left(\frac{2}{p}\right)=(-1)^{\frac{p^{2}-1}{8}} .$$

  Use the law of quadratic reciprocity to calculate $\left(\frac{91}{167}\right)$.

  [You may use the Gauss Lemma without proof.]

  comment

• 2.I.1H

  #Number Theory

  2005

  Recall that, if $p$ is an odd prime, a primitive root modulo $p$ is a generator of the cyclic (multiplicative) group $(\mathbb{Z} / p \mathbb{Z})^{\times}$. Let $p$ be an odd prime of the form $2^{2^{n}}+1$; show that $a$ is a primitive root $\bmod p$ if and only if $a$ is not a quadratic residue mod $p$. Use this result to prove that 7 is a primitive root modulo every such prime.

  comment

• 3.I.1H

  #Number Theory

  2005

  Let $\pi(x)$ be the number of primes $p \leqslant x$. State the Legendre formula, and prove that

  $$\lim _{x \rightarrow \infty} \frac{\pi(x)}{x}=0 .$$

  [You may use the formula

  $$\prod_{p \leqslant x}(1-1 / p)^{-1} \geqslant \log x$$

  without proof.]

  comment

• 3.II.11H

  #Number Theory

  2005

  Show that there are exactly two reduced positive definite integer binary quadratic forms with discriminant $-20$; write these forms down.

  State a criterion for an odd integer $n$ to be properly represented by a positive definite integer binary quadratic form of given discriminant $d$.

  Describe, in terms of congruences modulo 20, which primes other than 2,5 are properly represented by the form $x^{2}+5 y^{2}$, and justify your answer.

  comment

• 4.I.1H

  #Number Theory

  2005

  If $n$ is an odd integer and $b$ is an integer prime with $n$, state what it means for $n$ to be a pseudoprime to the base $b$. What is a Carmichael number? State a criterion for $n$ to be a Carmichael number and use the criterion to show that:

  (i) Every Carmichael number is the product of at least three distinct primes.

  (ii) 561 is a Carmichael number.

  comment

• 4.II.11H

  #Number Theory

  2005

  (a) Let $N$ be a non-square integer. Describe the integer solutions of the Pell equation $x^{2}-N y^{2}=1$ in terms of the convergents to $\sqrt{N}$. Show that the set of integer solutions forms an abelian group. Denote the addition law in this group by $\circ$; given solutions $\left(x_{0}, y_{0}\right)$ and $\left(x_{1}, y_{1}\right)$, write down an explicit formula for $\left(x_{0}, y_{0}\right) \circ\left(x_{1}, y_{1}\right)$. If $(x, y)$ is a solution, write down an explicit formula for $(x, y) \circ(x, y) \circ(x, y)$ in the group law.

  (b) Find the continued fraction expansion of $\sqrt{11}$. Find the smallest solution in integers $x, y>0$ of the Pell equation $x^{2}-11 y^{2}=1$. Use the formula in Part (a) to compute $(x, y) \circ(x, y) \circ(x, y)$.

  comment

• 1.I.2F

  #Topics in Analysis

  2005

  Prove that $\cosh (1 / 2)$ is irrational.

  comment

• 1.II.11F

  #Topics in Analysis

  2005

  State and prove a discrete form of Brouwer's theorem, concerning colourings of points in triangular grids. Use it to deduce that there is no continuous retraction from a disc to its boundary.

  comment

• $2 . \mathrm{I} . 2 \mathrm{~F}$

  #Topics in Analysis

  2005

  (i) Let $\alpha$ be an algebraic number and let $p$ and $q$ be integers with $q \neq 0$. What does Liouville's theorem say about $\alpha$ and $p / q$ ?

  (ii) Let $p$ and $q$ be integers with $q \neq 0$. Prove that

  $$\left|\sqrt{2}-\frac{p}{q}\right| \geqslant \frac{1}{4 q^{2}} .$$

  [In (ii), you may not use Liouville's theorem unless you prove it.]

  comment

• 2.II.11F

  #Topics in Analysis

  2005

  (i) State the Baire category theorem. Deduce from it a statement about nowhere dense sets.

  (ii) Let $X$ be the set of all real numbers with decimal expansions consisting of the digits 4 and 5 only. Prove that there is a real number $t$ that cannot be written in the form $x+y$ with $x \in X$ and $y$ rational.

  comment

• $3 . \mathrm{I} . 2 \mathrm{~F} \quad$

  #Topics in Analysis

  2005

  Let $-1 \leqslant x_{1}<x_{2}<\ldots<x_{n} \leqslant 1$ and let $a_{1}, a_{2}, \ldots, a_{n}$ be real numbers such that

  $$\int_{-1}^{1} p(t) d t=\sum_{i=1}^{n} a_{i} p\left(x_{i}\right)$$

  for every polynomial $p$ of degree less than $2 n$. Prove the following three facts.

  (i) $a_{i}>0$ for every $i$.

  (ii) $\sum_{i=1}^{n} a_{i}=2$.

  (iii) The numbers $x_{1}, x_{2}, \ldots, x_{n}$ are the roots of the Legendre polynomial of degree $n$.

  [You may assume standard orthogonality properties of the Legendre polynomials.]

  comment

• 4.I.2F

  #Topics in Analysis

  2005

  (i) Let $D \subset \mathbb{C}$ be a domain, let $f: D \rightarrow \mathbb{C}$ be an analytic function and let $z_{0} \in D$. What does Taylor's theorem say about $z_{0}, f$ and $D$ ?

  (ii) Let $K$ be the square consisting of all complex numbers $z$ such that

  $$-1 \leqslant \operatorname{Re}(z) \leqslant 1 \text { and }-1 \leqslant \operatorname{Im}(z) \leqslant 1,$$

  and let $w$ be a complex number not belonging to $K$. Prove that the function $f(z)=$ $(z-w)^{-1}$ can be uniformly approximated on $K$ by polynomials.

  comment

• 1.I.3G

  #Geometry of Group Actions

  2005

  Let $G$ be a subgroup of the group of isometries $\operatorname{Isom}\left(\mathbb{R}^{2}\right)$ of the Euclidean plane. What does it mean to say that $G$ is discrete?

  Supposing that $G$ is discrete, show that the subgroup $G_{T}$ of $G$ consisting of all translations in $G$ is generated by translations in at most two linearly independent vectors in $\mathbb{R}^{2}$. Show that there is a homomorphism $G \rightarrow O(2)$ with kernel $G_{T}$.

  Draw, and briefly explain, pictures which illustrate two different possibilities for $G$ when $G_{T}$ is isomorphic to the additive group $\mathbb{Z}$.

  comment

• 1.II.12G

  #Geometry of Group Actions

  2005

  What is the limit set of a subgroup $G$ of Möbius transformations?

  Suppose that $G$ is complicated and has no finite orbit in $\mathbb{C} \cup\{\infty\}$. Prove that the limit set of $G$ is infinite. Can the limit set be countable?

  State Jørgensen's inequality, and deduce that not every two-generator subgroup $G=\langle A, B\rangle$ of Möbius transformations is discrete. Briefly describe two examples of discrete two-generator subgroups, one for which the limit set is connected and one for which it is disconnected.

  comment

• 2.I.3G

  #Geometry of Group Actions

  2005

  Describe the geodesics in the disc model of the hyperbolic plane $\mathbb{H}^{2}$.

  Define the area of a region in $\mathbb{H}^{2}$. Compute the area $A(r)$ of a hyperbolic circle of radius $r$ from the definition just given. Compute the circumference $C(r)$ of a hyperbolic circle of radius $r$, and check explicitly that $d A(r) / d r=C(r)$.

  How could you define $\pi$ geometrically if you lived in $\mathbb{H}^{2}$ ? Briefly justify your answer.

  comment

• 3.I.3G

  #Geometry of Group Actions

  2005

  By considering fixed points in $\mathbb{C} \cup\{\infty\}$, prove that any complex Möbius transformation is conjugate either to a map of the form $z \mapsto k z$ for some $k \in \mathbb{C}$ or to $z \mapsto z+1$. Deduce that two Möbius transformations $g, h$ (neither the identity) are conjugate if and only if $\operatorname{tr}^{2}(g)=\operatorname{tr}^{2}(h)$.

  Does every Möbius transformation $g$ also have a fixed point in $\mathbb{H}^{3}$ ? Briefly justify your answer.

  comment

• 4.I.3G

  #Geometry of Group Actions

  2005

  Show that a set $F \subset \mathbb{R}^{n}$ with Hausdorff dimension strictly less than one is totally disconnected.

  What does it mean for a Möbius transformation to pair two discs? By considering a pair of disjoint discs and a pair of tangent discs, or otherwise, explain in words why there is a 2-generator Schottky group with limit set $\Lambda \subset \mathbb{S}^{2}$ which has Hausdorff dimension at least 1 but which is not homeomorphic to a circle.

  comment

• 4.II.12G

  #Geometry of Group Actions

  2005

  For real $s \geqslant 0$ and $F \subset \mathbb{R}^{n}$, give a careful definition of the $s$-dimensional Hausdorff measure of $F$ and of the Hausdorff dimension $\operatorname{dim}_{H}(F)$ of $F$.

  For $1 \leqslant i \leqslant k$, suppose $S_{i}: \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}$ is a similarity with contraction factor $c_{i} \in(0,1)$. Prove there is a unique non-empty compact invariant set $I$ for the $\left\{S_{i}\right\}$. State a formula for the Hausdorff dimension of $I$, under an assumption on the $S_{i}$ you should state.

  Hence show the Hausdorff dimension of the fractal $F$ given by iterating the scheme below (at each stage replacing each edge by a new copy of the generating template) is $\operatorname{dim}_{H}(F)=3 / 2$.

  

  [Numbers denote lengths]

  comment

• 1.I.4J

  #Coding and Cryptography

  2005

  Briefly describe the methods of Shannon-Fano and Huffman for economical coding. Illustrate both methods by finding decipherable binary codings in the case where messages $\mu_{1}, \ldots, \mu_{5}$ are emitted with probabilities $0.45,0.25,0.2,0.05,0.05$. Compute the expected word length in each case.

  comment

• 2.I.4J

  #Coding and Cryptography

  2005

  What is a linear binary code? What is the weight $w(C)$ of a linear binary code $C ?$ Define the bar product $C_{1} \mid C_{2}$ of two binary linear codes $C_{1}$ and $C_{2}$, stating the conditions that $C_{1}$ and $C_{2}$ must satisfy. Under these conditions show that

  $$w\left(C_{1} \mid C_{2}\right) \geqslant \min \left(2 w\left(C_{1}\right), w\left(C_{2}\right)\right)$$

  comment

• 2.II.12J

  #Coding and Cryptography

  2005

  What does it means to say that $f: \mathbb{F}_{2}^{d} \rightarrow \mathbb{F}_{2}^{d}$ is a linear feedback shift register? Let $\left(x_{n}\right)_{n \geqslant 0}$ be a stream produced by such a register. Show that there exist $N, M$ with $N+M \leqslant 2^{d}-1$ such that $x_{r+N}=x_{r}$ for all $r \geqslant M$.

  Explain and justify the Berlekamp-Massey method for 'breaking' a cipher stream arising from a linear feedback register of unknown length.

  Let $x_{n}, y_{n}, z_{n}$ be three streams produced by linear feedback registers. Set

  $$\begin{aligned} &k_{n}=x_{n} \text { if } y_{n}=z_{n} \\ &k_{n}=y_{n} \text { if } y_{n} \neq z_{n} \end{aligned}$$

  Show that $k_{n}$ is also a stream produced by a linear feedback register. Sketch proofs of any theorems that you use.

  comment

• 3.I.4J

  #Coding and Cryptography

  2005

  Briefly explain how and why a signature scheme is used. Describe the el Gamal scheme.

  comment

• 3.II.12J

  #Coding and Cryptography

  2005

  Define a cyclic code. Define the generator and check polynomials of a cyclic code and show that they exist.

  Show that Hamming's original code is a cyclic code with check polynomial $X^{4}+X^{2}+X+1$. What is its generator polynomial? Does Hamming's original code contain a subcode equivalent to its dual?

  comment

• 4.I.4J

  #Coding and Cryptography

  2005

  What does it mean to transmit reliably at rate $r$ through a binary symmetric channel (BSC) with error probability $p$ ? Assuming Shannon's second coding theorem, compute the supremum of all possible reliable transmission rates of a BSC. What happens if (i) $p$ is very small, (ii) $p=1 / 2$, or (iii) $p>1 / 2$ ?

  comment

• 1.I.5I

  #Statistical Modelling

  2005

  Suppose that $Y_{1}, \ldots, Y_{n}$ are independent random variables, and that $Y_{i}$ has probability density function

  $$f\left(y_{i} \mid \theta_{i}, \phi\right)=\exp \left[\frac{\left(y_{i} \theta_{i}-b\left(\theta_{i}\right)\right)}{\phi}+c\left(y_{i}, \phi\right)\right]$$

  Assume that $\mathbb{E}\left(Y_{i}\right)=\mu_{i}$ and that there is a known link function $g(.)$ such that

  $$g\left(\mu_{i}\right)=\beta^{T} x_{i}$$

  where $x_{1}, \ldots, x_{n}$ are known $p$-dimensional vectors and $\beta$ is an unknown $p$-dimensional parameter. Show that $\mathbb{E}\left(Y_{i}\right)=b^{\prime}\left(\theta_{i}\right)$ and that, if $\ell(\beta, \phi)$ is the log-likelihood function from the observations $\left(y_{1}, \ldots, y_{n}\right)$, then

  $$\frac{\partial \ell(\beta, \phi)}{\partial \beta}=\sum_{1}^{n} \frac{\left(y_{i}-\mu_{i}\right) x_{i}}{g^{\prime}\left(\mu_{i}\right) V_{i}}$$

  where $V_{i}$ is to be defined.

  comment

• 1.II.13I

  #Statistical Modelling

  2005

  The Independent, June 1999 , under the headline 'Tourists get hidden costs warnings' gave the following table of prices in pounds, called 'How the resorts compared'.

  $\begin{array}{lrrrrrr}\text { Algarve } & 8.00 & 0.50 & 3.50 & 3.00 & 4.00 & 100.00 \\ \text { CostaDelSol } & 6.95 & 1.30 & 4.10 & 12.30 & 4.10 & 130.85 \\ \text { Majorca } & 10.25 & 1.45 & 5.35 & 6.15 & 3.30 & 122.20 \\ \text { Tenerife } & 12.30 & 1.25 & 4.90 & 3.70 & 2.90 & 130.85 \\ \text { Florida } & 15.60 & 1.90 & 5.05 & 5.00 & 2.50 & 114.00 \\ \text { Tunisia } & 10.90 & 1.40 & 5.45 & 1.90 & 2.75 & 218.10 \\ \text { Cyprus } & 11.60 & 1.20 & 5.95 & 3.00 & 3.60 & 149.45 \\ \text { Turkey } & 6.50 & 1.05 & 6.50 & 4.90 & 2.85 & 263.00 \\ \text { Corfu } & 5.20 & 1.05 & 3.75 & 4.20 & 2.50 & 137.60 \\ \text { Sorrento } & 7.70 & 1.40 & 6.30 & 8.75 & 4.75 & 215.40 \\ \text { Malta } & 11.20 & 0.70 & 4.55 & 8.00 & 4.80 & 87.85 \\ \text { Rhodes } & 6.30 & 1.05 & 5.20 & 3.15 & 2.70 & 261.30 \\ \text { Sicily } & 13.25 & 1.75 & 4.20 & 7.00 & 3.85 & 174.40 \\ \text { Madeira } & 10.25 & 0.70 & 5.10 & 6.85 & 6.85 & 153.70\end{array}$

  Here the column headings are, respectively: Three-course meal, Bottle of Beer, Suntan Lotion, Taxi (5km), Film (24 exp), Car Hire (per week). Interpret the $R$ commands, and explain how to interpret the corresponding (slightly abbreviated) $R$ output given below. Your solution should include a careful statement of the underlying statistical model, but you may quote without proof any distributional results required.

  

  Residual standard error: $0.3425$ on 65 degrees of freedom

  Multiple R-Squared: $0.962$

  comment

• 2.I.5I

  #Statistical Modelling

  2005

  You see below three $R$ commands, and the corresponding output (which is slightly abbreviated). Explain the effects of the commands. How is the deviance defined, and why do we have d.f. $=7$ in this case? Interpret the numerical values found in the output.

  

  comment

• 3.I.5I

  #Statistical Modelling

  2005

  Consider the model $Y=X \beta+\epsilon$, where $Y$ is an $n$-dimensional observation vector, $X$ is an $n \times p$ matrix of rank $p, \epsilon$ is an $n$-dimensional vector with components $\epsilon_{1}, \ldots, \epsilon_{n}$, and $\epsilon_{1}, \ldots, \epsilon_{n}$ are independently and normally distributed, each with mean 0 and variance $\sigma^{2}$

  (a) Let $\hat{\beta}$ be the least-squares estimator of $\beta$. Show that

  $$\left(X^{T} X\right) \hat{\beta}=X^{T} Y$$

  and find the distribution of $\hat{\beta}$.

  (b) Define $\hat{Y}=X \hat{\beta}$. Show that $\hat{Y}$ has distribution $N\left(X \beta, \sigma^{2} H\right)$, where $H$ is a matrix that you should define.

  [You may quote without proof any results you require about the multivariate normal distribution.]

  comment

• 4.I.5I

  #Statistical Modelling

  2005

  You see below five $R$ commands, and the corresponding output (which is slightly abbreviated). Without giving any mathematical proofs, explain the purpose of these commands, and interpret the output.

  

  Residual deviance: $1.9369$ on 2 degrees of freedom

  Number of Fisher Scoring iterations: 4

  comment

• 4.II.13I

  #Statistical Modelling

  2005

  (i) Suppose that $Y_{1}, \ldots, Y_{n}$ are independent random variables, and that $Y_{i}$ has probability density function

  $$f\left(y_{i} \mid \beta, \nu\right)=\left(\frac{\nu y_{i}}{\mu_{i}}\right)^{\nu} e^{-y_{i} \nu / \mu_{i}} \frac{1}{\Gamma(\nu)} \frac{1}{y_{i}} \text { for } y_{i}>0$$

  where

  $$1 / \mu_{i}=\beta^{T} x_{i}, \text { for } \quad 1 \leqslant i \leqslant n,$$

  and $x_{1}, \ldots, x_{n}$ are given $p$-dimensional vectors, and $\nu$ is known.

  Show that $\mathbb{E}\left(Y_{i}\right)=\mu_{i}$ and that $\operatorname{var}\left(Y_{i}\right)=\mu_{i}^{2} / \nu$.

  (ii) Find the equation for $\hat{\beta}$, the maximum likelihood estimator of $\beta$, and suggest an iterative scheme for its solution.

  (iii) If $p=2$, and $x_{i}=\left(\begin{array}{c}1 \\ z_{i}\end{array}\right)$, find the large-sample distribution of $\hat{\beta}_{2}$. Write your answer in terms of $a, b, c$ and $\nu$, where $a, b, c$ are defined by

  $$a=\sum \mu_{i}^{2}, \quad b=\sum z_{i} \mu_{i}^{2}, \quad c=\sum z_{i}^{2} \mu_{i}^{2} .$$

  comment

• 1.I.6E

  #Mathematical Biology

  2005

  Consider a biological system in which concentrations $x(t)$ and $y(t)$ satisfy

  $$\frac{d x}{d t}=f(y)-x \quad \text { and } \quad \frac{d y}{d t}=g(x)-y$$

  where $f$ and $g$ are positive and monotonically decreasing functions of their arguments, so that $x$ represses the synthesis of $y$ and vice versa.

  (a) Suppose the functions $f$ and $g$ are bounded. Sketch the phase plane and explain why there is always at least one steady state. Show that if there is a steady state with

  $$\frac{\partial \ln f}{\partial \ln y} \frac{\partial \ln g}{\partial \ln x}>1$$

  then the system is multistable.

  (b) If $f=\lambda /\left(1+y^{m}\right)$ and $g=\lambda /\left(1+x^{n}\right)$, where $\lambda, m$ and $n$ are positive constants, what values of $m$ and $n$ allow the system to display multistability for some value of $\lambda$ ?

  Can $f=\lambda / y^{m}$ and $g=\lambda / x^{n}$ generate multistability? Explain your answer carefully.

  comment

• 2.I.6E

  #Mathematical Biology

  2005

  Consider a system with stochastic reaction events

  $$x \stackrel{\lambda}{\longrightarrow} x+1 \quad \text { and } \quad x \stackrel{\beta x^{2}}{\longrightarrow} x-2,$$

  where $\lambda$ and $\beta$ are rate constants.

  (a) State or derive the exact differential equation satisfied by the average number of molecules $<x>$. Assuming that fluctuations are negligible, approximate the differential equation to obtain the steady-state value of $\langle x\rangle$.

  (b) Using this approximation, calculate the elasticity $H$, the average lifetime $\tau$, and the average chemical event size $<r>$ (averaged over fluxes).

  (c) State the stationary Fluctuation Dissipation Theorem for the normalised variance $\eta$. Hence show that

  $$\eta=\frac{3}{4<x>} .$$

  comment

• 2.II.13E

  #Mathematical Biology

  2005

  Consider the reaction-diffusion system

  $$\begin{aligned} &\frac{\partial u}{\partial \tau}=\beta_{u}\left(\frac{u^{2}}{v}-u\right)+D_{u} \frac{\partial^{2} u}{\partial x^{2}} \\ &\frac{\partial v}{\partial \tau}=\beta_{v}\left(u^{2}-v\right)+D_{v} \frac{\partial^{2} v}{\partial x^{2}} \end{aligned}$$

  for an activator $u$ and inhibitor $v$, where $\beta_{u}$ and $\beta_{v}$ are degradation rate constants and $D_{u}$ and $D_{v}$ are diffusion rate constants.

  (a) Find a suitably scaled time $t$ and length $s$ such that

  $$\begin{aligned} \frac{\partial u}{\partial t} &=\frac{u^{2}}{v}-u+\frac{\partial^{2} u}{\partial s^{2}} \\ \frac{1}{Q} \frac{\partial v}{\partial t} &=u^{2}-v+P \frac{\partial^{2} v}{\partial s^{2}} \end{aligned}$$

  and find expressions for $P$ and $Q$.

  (b) Show that the Jacobian matrix for small spatially homogenous deviations from a nonzero steady state of $(*)$ is

  $$J=\left(\begin{array}{cc} 1 & -1 \\ 2 Q & -Q \end{array}\right)$$

  and find the values of $Q$ for which the steady state is stable.

  [Hint: The eigenvalues of a $2 \times 2$ real matrix both have positive real parts iff the matrix has a positive trace and determinant.]

  (c) Derive linearised ordinary differential equations for the amplitudes $\hat{u}(t)$ and $\hat{v}(t)$ of small spatially inhomogeneous deviations from a steady state of $(*)$ that are proportional to $\cos (s / L)$, where $L$ is a constant.

  (d) Assuming that the system is stable to homogeneous perturbations, derive the condition for inhomogeneous instability. Interpret this condition in terms of how far activator and inhibitor molecules diffuse on average before they are degraded.

  (e) Calculate the lengthscale $L_{\text {crit }}$ of disturbances that are expected to be observed when the condition for inhomogeneous instability is just satisfied. What are the dominant mechanisms for stabilising disturbances on lengthscales (i) much less than and (ii) much greater than $L_{\text {crit }}$ ?

  comment

• $3 . \mathrm{I} . 6 \mathrm{E} \quad$

  #Mathematical Biology

  2005

  Let $x$ be the concentration of a binary master sequence of length $L$ and let $y$ be the total concentration of all mutant sequences. Master sequences try to self-replicate at a total rate $a x$, but each independent digit is only copied correctly with probability $q$. Mutant sequences self-replicate at a total rate $b y$, where $a>b$, and the probability of mutation back to the master sequence is negligible.

  (a) The evolution of $x$ is given by

  $$\frac{d x}{d t}=a q^{L} x$$

  Write down the corresponding equation for $y$ and derive a differential equation for the master-to-mutant ratio $z=x / y$.

  (b) What is the maximum length $L_{\max }$ for which there is a positive steady-state value of $z$ ? Is the positive steady state stable when it exists?

  (c) Obtain a first-order approximation to $L_{\max }$ assuming that both $1-q \ll 1$ and $s \ll 1$, where the selection coefficient $s$ is defined by $b=a(1-s)$.

  comment

• 3.II.13E

  #Mathematical Biology

  2005

  Protein synthesis by RNA can be represented by the stochastic system

  $$\begin{array}{lll} x_{1} \stackrel{\lambda_{1}}{\longrightarrow} x_{1}+1 & \text { and } & x_{1} \stackrel{\beta_{1} x_{1}}{\longrightarrow} x_{1}-1 \\ x_{2} \stackrel{\lambda_{2} x_{1}}{\longrightarrow} x_{2}+1 & \text { and } & x_{2} \stackrel{\beta_{2} x_{2}}{\longrightarrow} x_{2}-1 \end{array}$$

  in which $x_{1}$ is an environmental variable corresponding to the number of RNA molecules per cell and $x_{2}$ is a system variable, with birth rate proportional to $x_{1}$, corresponding to the number of protein molecules.

  (a) Use the normalized stationary Fluctuation-Dissipation Theorem (FDT) to calculate the (exact) normalized stationary variances $\eta_{11}=\sigma_{1}^{2} /<x_{1}>^{2}$ and $\eta_{22}=$ $\sigma_{2}^{2} /<x_{2}>^{2}$ in terms of the averages $<x_{1}>$ and $<x_{2}>$.

  (b) Separate $\eta_{22}$ into an intrinsic and an extrinsic term by considering the limits when $x_{1}$ does not fluctuate (intrinsic), and when $x_{2}$ responds deterministically to changes in $x_{1}$ (extrinsic). Explain how the extrinsic term represents the magnitude of environmental fluctuations and time-averaging.

  (c) Assume now that the birth rate of $x_{2}$ is changed from the "constitutive" mechanism $\lambda_{2} x_{1}$ in (1) to a "negative feedback" mechanism $\lambda_{2} x_{1} f\left(x_{2}\right)$, where $f$ is a monotonically decreasing function of $x_{2}$. Use the stationary FDT to approximate $\eta_{22}$ in terms of $h=\left|\partial \ln f / \partial \ln x_{2}\right|$. Apply your answer to the case $f\left(x_{2}\right)=k / x_{2}$.

  [Hint: To reduce the algebra introduce the elasticity $H_{22}=\partial \ln \left(R_{2}^{-} / R_{2}^{+}\right) / \partial \ln x_{2}$, where $R_{2}^{-}$and $R_{2}^{+}$are the death and birth rates of $x_{2}$ respectively.]

  (d) Explain the extrinsic term for the negative feedback system in terms of environmental fluctuations, time-averaging, and static susceptibility.

  (e) Explain why the FDT is exact for the constitutive system but approximate for the feedback system. When, generally speaking, does the FDT approximation work well?

  (f) Consider the following three experimental observations: (i) Large changes in $\lambda_{2}$ have no effect on $\eta_{22}$; (ii) When $x_{2}$ is perturbed by $1 \%$ from its stationary average, perturbations are corrected more rapidly in the feedback system than in the constitutive system; (iii) The feedback system displays lower values $\eta_{22}$ than the constitutive system.

  What does (i) imply about the relative importance of the noise terms? Can (ii) be directly explained by (iii), i.e., does rapid adjustment reduce noise? Justify your answers.

  comment

• 4.I.6E

  #Mathematical Biology

  2005

  The output of a linear perceptron is given by $y=\mathbf{w} \cdot \mathbf{x}$, where $\mathbf{w}$ is a vector of weights connecting a fluctuating input vector $x$ to an output unit. The weights are given random initial values and are then updated according to a learning rule that has a time-constant $\tau$ much greater than the fluctuation timescale of the inputs.

  (a) Find the behaviour of $|\mathbf{w}|$ for each of the following two rules (i) $\tau \frac{d \mathbf{w}}{d t}=y \mathbf{x}$ (ii) $\tau \frac{d \mathbf{w}}{d t}=y \mathbf{x}-\alpha y^{2} \mathbf{w}|\mathbf{w}|^{2}$, where $\alpha$ is a positive constant.

  (b) Consider a third learning rule

  $$\text { (iii) } \tau \frac{d \mathbf{w}}{d t}=y \mathbf{x}-\mathbf{w}|\mathbf{w}|^{2} \text {. }$$

  Show that in a steady state the vector of weights satisfies the eigenvalue equation

  $$\mathbf{C w}=\lambda \mathbf{w}$$

  where the matrix $\mathbf{C}$ and eigenvalue $\lambda$ should be identified.

  (c) Comment briefly on the biological implications of the three rules.

  comment

• 1.I.7B

  #Dynamical Systems

  2005

  State Dulac's Criterion and the Poincaré-Bendixson Theorem regarding the existence of periodic solutions to the dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$. Hence show that

  $$\begin{aligned} &\dot{x}=y \\ &\dot{y}=-x+y\left(\mu-2 x^{2}-y^{2}\right) \end{aligned}$$

  has no periodic solutions if $\mu<0$ and at least one periodic solution if $\mu>0$.

  comment

• 1.II.14B

  #Dynamical Systems

  2005

  Consider the equations

  $$\begin{aligned} &\dot{x}=\left(a-x^{2}\right)\left(a^{2}-y\right) \\ &\dot{y}=x-y \end{aligned}$$

  as a function of the parameter $a$. Find the fixed points and plot their location in the $(a, x)$ plane. Hence, or otherwise, deduce that there are bifurcations at $a=0$ and $a=1$.

  Investigate the bifurcation at $a=1$ by making the substitutions $u=x-1, v=y-x$ and $\mu=a-1$. Find the equation of the extended centre manifold to second order. Find the evolution equation on the centre manifold to second order, and determine the stability of its fixed points.

  Show which branches of fixed points in the $(a, x)$ plane are stable and which are unstable, and state, without calculation, the type of bifurcation at $a=0$. Hence sketch the structure of the $(x, y)$ phase plane very near the origin for $|a| \ll 1$ in the cases (i) $a<0$ and (ii) $a>0$.

  The system is perturbed to $\dot{x}=\left(a-x^{2}\right)\left(a^{2}-y\right)+\epsilon$, where $0<\epsilon \ll 1$, with $\dot{y}=x-y$ still. Sketch the possible changes to the bifurcation diagram near $a=0$ and $a=1$. [Calculation is not required.]

  comment

• 2.I.7B

  #Dynamical Systems

  2005

  Define Lyapunov stability and quasi-asymptotic stability of a fixed point $\mathbf{x}_{0}$ of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$.

  By considering a Lyapunov function of the form $V=g(x)+y^{2}$, show that the origin is an asymptotically stable fixed point of

  $$\begin{aligned} &\dot{x}=-y-x^{3} \\ &\dot{y}=x^{5} \end{aligned}$$

  [Lyapunov's Second Theorem may be used without proof, provided you show that its conditions apply.]

  comment

• 2.II.14B

  #Dynamical Systems

  2005

  Prove that if a continuous map $F$ of an interval into itself has a periodic orbit of period three then it also has periodic orbits of least period $n$ for all positive integers $n$.

  Explain briefly why there must be at least two periodic orbits of least period $5 .$

  [You may assume without proof:

  (i) If $U$ and $V$ are non-empty closed bounded intervals such that $V \subseteq F(U)$ then there is a closed bounded interval $K \subseteq U$ such that $F(K)=V$.

  (ii) The Intermediate Value Theorem.]

  comment

• 3.I.7B

  #Dynamical Systems

  2005

  Define the stable and unstable invariant subspaces of the linearisation of a dynamical system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ at a saddle point located at the origin in $\mathbb{R}^{n}$. How, according to the Stable Manifold Theorem, are the stable and unstable manifolds related to the invariant subspaces?

  Calculate the stable and unstable manifolds, correct to cubic order, for the system

  $$\begin{aligned} &\dot{x}=x+x^{2}+2 x y+3 y^{2} \\ &\dot{y}=-y+3 x^{2} \end{aligned}$$

  comment

• 4.I.7B

  #Dynamical Systems

  2005

  Find and classify the fixed points of the system

  $$\begin{aligned} &\dot{x}=x(1-y) \\ &\dot{y}=-y+x^{2} . \end{aligned}$$

  Sketch the phase plane.

  What is the $\omega$-limit for the point $(2,-1)$ ? Which points have $(0,0)$ as their $\omega$-limit?

  comment

• 1.I.8A

  #Further Complex Methods

  2005

  Explain what is meant by the Papperitz symbol

  $$P\left\{\begin{array}{cccc} z_{1} & z_{2} & z_{3} & \\ \alpha & \beta & \gamma & z \\ \alpha^{\prime} & \beta^{\prime} & \gamma^{\prime} & \end{array}\right\}$$

  The hypergeometric function $F(a, b ; c ; z)$ is defined as the solution of the equation determined by the Papperitz symbol

  $$P\left\{\begin{array}{ccc} 0 & \infty & 1 \\ 0 & a & 0 \\ 1-c & b & c-a-b \end{array}\right\}$$

  that is analytic at $z=0$ and satisfies $F(a, b ; c ; 0)=1$.

  Show, explaining each step, that

  $$F(a, b ; c ; z)=(1-z)^{c-a-b} F(c-a, c-b ; c ; z)$$

  comment

• 2.I.8A

  #Further Complex Methods

  2005

  The Hankel representation of the gamma function is

  $$\Gamma(z)=\frac{1}{2 i \sin (\pi z)} \int_{-\infty}^{\left(0^{+}\right)} t^{z-1} e^{t} d t$$

  where the path of integration is the Hankel contour.

  Use this representation to find the residue of $\Gamma(z)$ at $z=-n$, where $n$ is a nonnegative integer.

  Is there a pole at $z=n$, where $n$ is a positive integer? Justify your answer carefully, working only from the above representation of $\Gamma(z)$.

  comment

• 3.I.8A

  #Further Complex Methods

  2005

  The functions $f$ and $g$ have Laplace transforms $\widehat{f}$ and $\widehat{g}$, and satisfy $f(t)=0=g(t)$ for $t<0$. The convolution $h$ of $f$ and $g$ is defined by

  $$h(u)=\int_{0}^{u} f(u-v) g(v) d v$$

  and has Laplace transform $\widehat{h}$. Prove (the convolution theorem) that $\widehat{h}(p)=\widehat{f}(p) \widehat{g}(p)$.

  Given that $\int_{0}^{t}(t-s)^{-1 / 2} s^{-1 / 2} d s=\pi \quad(t>0)$, deduce the Laplace transform of the function $f(t)$, where

  $$f(t)=\left\{\begin{array}{l} t^{-1 / 2}, \quad t>0 \\ 0, \quad t \leqslant 0 \end{array}\right.$$

  comment

• 3.II.14A

  #Further Complex Methods

  2005

  Show that the equation

  $$z w^{\prime \prime}+2 k w^{\prime}+z w=0,$$

  where $k$ is constant, has solutions of the form

  $$w(z)=\int_{\gamma}\left(t^{2}+1\right)^{k-1} e^{z t} d t$$

  provided that the path $\gamma$ is chosen so that $\left[\left(t^{2}+1\right)^{k} e^{z t}\right]_{\gamma}=0$.

  (i) In the case Re $k>0$, show that there is a choice of $\gamma$ for which $w(0)=i B\left(k, \frac{1}{2}\right)$.

  (ii) In the case $k=n / 2$, where $n$ is any integer, show that $\gamma$ can be a finite contour and that the corresponding solution satisfies $w(0)=0$ if $n \leqslant-1$.

  comment

• 4.I.8A

  #Further Complex Methods

  2005

  Write down necessary and sufficient conditions on the functions $p(z)$ and $q(z)$ for the point $z=0$ to be (i) an ordinary point and (ii) a regular singular point of the equation

  $$w^{\prime \prime}+p(z) w^{\prime}+q(z) w=0 .$$

  Show that the point $z=\infty$ is an ordinary point if and only if

  $$p(z)=2 z^{-1}+z^{-2} P\left(z^{-1}\right), \quad q(z)=z^{-4} Q\left(z^{-1}\right),$$

  where $P$ and $Q$ are analytic in a neighbourhood of the origin.

  Find the most general equation of the form $(*)$ that has a regular singular point at $z=0$ but no other singular points.

  comment

• 4.II.14A

  #Further Complex Methods

  2005

  Two representations of the zeta function are

  $$\zeta(z)=\frac{\Gamma(1-z)}{2 \pi i} \int_{-\infty}^{\left(0^{+}\right)} \frac{t^{z-1}}{e^{-t}-1} d t \quad \text { and } \quad \zeta(z)=\sum_{1}^{\infty} n^{-z}$$

  where, in the integral representation, the path is the Hankel contour and the principal branch of $t^{z-1}$, for which $|\arg z|<\pi$, is to be used. State the range of $z$ for which each representation is valid.

  Evaluate the integral

  $$\int_{\gamma} \frac{t^{z-1}}{e^{-t}-1} d t$$

  where $\gamma$ is a closed path consisting of the straight line $z=\pi i+x$, with $|x|<2 N \pi$, and the semicircle $|z-\pi i|=2 N \pi$, with $\operatorname{Im} z>\pi$, where $N$ is a positive integer.

  Making use of this result and assuming, when necessary, that the integral along the curved part of $\gamma$ is negligible when $N$ is large, derive the functional equation

  $$\zeta(z)=2^{z} \pi^{z-1} \sin (\pi z / 2) \Gamma(1-z) \zeta(1-z)$$

  for $z \neq 1$.

  comment

• 1.I.9C

  #Classical Dynamics

  2005

  A particle of mass $m_{1}$ is constrained to move on a circle of radius $r_{1}$, centre $x=y=0$ in a horizontal plane $z=0$. A second particle of mass $m_{2}$ moves on a circle of radius $r_{2}$, centre $x=y=0$ in a horizontal plane $z=c$. The two particles are connected by a spring whose potential energy is

  $$V=\frac{1}{2} \omega^{2} d^{2}$$

  where $d$ is the distance between the particles. How many degrees of freedom are there? Identify suitable generalized coordinates and write down the Lagrangian of the system in terms of them.

  comment

• 1.II.15C

  #Classical Dynamics

  2005

  (i) The action for a system with generalized coordinates $\left(q_{a}\right)$ is given by

  $$S=\int_{t_{1}}^{t_{2}} L\left(q_{a}, \dot{q}_{b}\right) d t$$

  Derive Lagrange's equations from the principle of least action by considering all paths with fixed endpoints, $\delta q_{a}\left(t_{1}\right)=\delta q_{a}\left(t_{2}\right)=0$.

  (ii) A pendulum consists of a point mass $m$ at the end of a light rod of length $l$. The pivot of the pendulum is attached to a mass $M$ which is free to slide without friction along a horizontal rail. Choose as generalized coordinates the position $x$ of the pivot and the angle $\theta$ that the pendulum makes with the vertical.

  Write down the Lagrangian and derive the equations of motion.

  Find the frequency of small oscillations around the stable equilibrium.

  Now suppose that a force acts on the pivot causing it to travel with constant acceleration in the $x$-direction. Find the equilibrium angle $\theta$ of the pendulum.

  comment

• 2.I.9C

  #Classical Dynamics

  2005

  A rigid body has principal moments of inertia $I_{1}, I_{2}$ and $I_{3}$ and is moving under the action of no forces with angular velocity components $\left(\omega_{1}, \omega_{2}, \omega_{3}\right)$. Its motion is described by Euler's equations

  $$\begin{aligned} &I_{1} \dot{\omega}_{1}-\left(I_{2}-I_{3}\right) \omega_{2} \omega_{3}=0 \\ &I_{2} \dot{\omega}_{2}-\left(I_{3}-I_{1}\right) \omega_{3} \omega_{1}=0 \\ &I_{3} \dot{\omega}_{3}-\left(I_{1}-I_{2}\right) \omega_{1} \omega_{2}=0 \end{aligned}$$

  Are the components of the angular momentum to be evaluated in the body frame or the space frame?

  Now suppose that an asymmetric body is moving with constant angular velocity $(\Omega, 0,0)$. Show that this motion is stable if and only if $I_{1}$ is the largest or smallest principal moment.

  comment

• 3.I.9C

  #Classical Dynamics

  2005

  Define the Poisson bracket $\{f, g\}$ between two functions $f\left(q_{a}, p_{a}\right)$ and $g\left(q_{a}, p_{a}\right)$ on phase space. If $f\left(q_{a}, p_{a}\right)$ has no explicit time dependence, and there is a Hamiltonian $H$, show that Hamilton's equations imply

  $$\frac{d f}{d t}=\{f, H\} .$$

  A particle with position vector $\mathbf{x}$ and momentum $\mathbf{p}$ has angular momentum $\mathbf{L}=\mathbf{x} \times \mathbf{p}$. Compute $\left\{p_{a}, L_{b}\right\}$ and $\left\{L_{a}, L_{b}\right\}$.

  comment

• 3.II.15C

  #Classical Dynamics

  2005

  (i) A point mass $m$ with position $q$ and momentum $p$ undergoes one-dimensional periodic motion. Define the action variable $I$ in terms of $q$ and $p$. Prove that an orbit of energy $E$ has period

  $$T=2 \pi \frac{d I}{d E} .$$

  (ii) Such a system has Hamiltonian

  $$H(q, p)=\frac{p^{2}+q^{2}}{\mu^{2}-q^{2}}$$

  where $\mu$ is a positive constant and $|q|<\mu$ during the motion. Sketch the orbits in phase space both for energies $E \gg 1$ and $E \ll 1$. Show that the action variable $I$ is given in terms of the energy $E$ by

  $$I=\frac{\mu^{2}}{2} \frac{E}{\sqrt{E+1}} .$$

  Hence show that for $E \gg 1$ the period of the orbit is $T \approx \frac{1}{2} \pi \mu^{3} / p_{0}$, where $p_{0}$ is the greatest value of the momentum during the orbit.

  comment

• 4.I.9C

  #Classical Dynamics

  2005

  Define a canonical transformation for a one-dimensional system with coordinates $(q, p) \rightarrow(Q, P)$. Show that if the transformation is canonical then $\{Q, P\}=1$.

  Find the values of constants $\alpha$ and $\beta$ such that the following transformations are canonical: (i) $Q=p q^{\beta}, P=\alpha q^{-1}$. (ii) $Q=q^{\alpha} \cos (\beta p), P=q^{\alpha} \sin (\beta p)$.

  comment

• 1.I.10D

  #Cosmology

  2005

  (a) Around $t \approx 1 \mathrm{~s}$ after the big bang $(k T \approx 1 \mathrm{MeV})$, neutrons and protons are kept in equilibrium by weak interactions such as

  $$n+\nu_{e} \leftrightarrow p+e^{-}$$

  Show that, in equilibrium, the neutron-to-proton ratio is given by

  $$\frac{n_{n}}{n_{p}} \approx e^{-Q / k T}$$

  where $Q=\left(m_{n}-m_{p}\right) c^{2}=1.29 \mathrm{MeV}$ corresponds to the mass difference between the neutron and the proton. Explain briefly why we can neglect the difference $\mu_{n}-\mu_{p}$ in the chemical potentials.

  (b) The ratio of the weak interaction rate $\Gamma_{W} \propto T^{5}$ which maintains (*) to the Hubble expansion rate $H \propto T^{2}$ is given by

  $$\frac{\Gamma_{W}}{H} \approx\left(\frac{k T}{0.8 \mathrm{MeV}}\right)^{3}$$

  Explain why the neutron-to-proton ratio effectively "freezes out" once $k T<0.8 \mathrm{MeV}$, except for some slow neutron decay. Also explain why almost all neutrons are subsequently captured in ${ }^{4} \mathrm{He}$; estimate the value of the relative mass density $Y_{^{4} \mathrm{He}}=\rho_{^{4}\mathrm{He}} / \rho_{\mathrm{B}}$ (with $\rho_{\mathrm{B}}=\rho_{n}+\rho_{p}$ ) given a final ratio $n_{n} / n_{p} \approx 1 / 8$.

  (c) Suppose instead that the weak interaction rate were very much weaker than that described by equation $(\dagger)$. Describe the effect on the relative helium density $Y_{^{4} \mathrm{He}}$. Briefly discuss the wider implications of this primordial helium-to-hydrogen ratio on stellar lifetimes and life on earth.

  comment

• 2.I.10D

  #Cosmology

  2005

  (a) A spherically symmetric star obeys the pressure-support equation

  $$\frac{d P}{d r}=-\frac{G m \rho}{r^{2}}$$

  where $P(r)$ is the pressure at a distance $r$ from the centre, $\rho(r)$ is the density, and the mass $m(r)$ is defined through the relation $d m / d r=4 \pi r^{2} \rho(r)$. Multiply $(*)$ by $4 \pi r^{3}$ and integrate over the total volume $V$ of the star to derive the virial theorem

  $$\langle P\rangle V=-\frac{1}{3} E_{\text {grav }}$$

  where $\langle P\rangle$ is the average pressure and $E_{\text {grav }}$ is the total gravitational potential energy.

  (b) Consider a white dwarf supported by electron Fermi degeneracy pressure $P \approx h^{2} n^{5 / 3} / m_{\mathrm{e}}$, where $m_{\mathrm{e}}$ is the electron mass and $n$ is the number density. Assume a uniform density $\rho(r)=m_{\mathrm{p}} n(r) \approx m_{\mathrm{p}}\langle n\rangle$, so the total mass of the star is given by $M=(4 \pi / 3)\langle n\rangle m_{\mathrm{p}} R^{3}$ where $R$ is the star radius and $m_{\mathrm{p}}$ is the proton mass. Show that the total energy of the white dwarf can be written in the form

  $$E_{\mathrm{total}}=E_{\mathrm{kin}}+E_{\mathrm{grav}}=\frac{\alpha}{R^{2}}-\frac{\beta}{R}$$

  where $\alpha, \beta$ are positive constants which you should determine. [You may assume that for an ideal gas $E_{\mathrm{kin}}=\frac{3}{2}\langle P\rangle V$.] Use this expression to explain briefly why a white dwarf is stable.

  comment

• 2.II.15D

  #Cosmology

  2005

  (a) Consider a homogeneous and isotropic universe with scale factor $a(t)$ and filled with mass density $\rho(t)$. Show how the conservation of kinetic energy plus gravitational potential energy for a test particle on the edge of a spherical region in this universe can be used to derive the Friedmann equation

  $$\left(\frac{\dot{a}}{a}\right)^{2}+\frac{k c^{2}}{a^{2}}=\frac{8 \pi G}{3} \rho$$

  where $k$ is a constant. State clearly any assumptions you have made.

  (b) Now suppose that the universe was filled throughout its history with radiation with equation of state $P=\rho c^{2} / 3$. Using the fluid conservation equation and the definition of the relative density $\Omega$, show that the density of this radiation can be expressed as

  $$\rho=\frac{3 H_{0}^{2}}{8 \pi G} \frac{\Omega_{0}}{a^{4}},$$

  where $H_{0}$ is the Hubble parameter today and $\Omega_{0}$ is the relative density today $\left(t=t_{0}\right)$ and $a_{0} \equiv a\left(t_{0}\right)=1$ is assumed. Show also that $k c^{2}=H_{0}^{2}\left(\Omega_{0}-1\right)$ and hence rewrite the Friedmann equation $(*)$ as

  $$\left(\frac{\dot{a}}{a}\right)^{2}=H_{0}^{2} \Omega_{0}\left(\frac{1}{a^{4}}-\frac{\beta}{a^{2}}\right)$$

  where $\beta \equiv\left(\Omega_{0}-1\right) / \Omega_{0}$.

  (c) Now consider a closed model with $k>0$ (or $\Omega>1)$. Rewrite ( $\dagger$ ) using the new time variable $\tau$ defined by

  $$\frac{d t}{d \tau}=a$$

  Hence, or otherwise, solve $(\dagger)$ to find the parametric solution

  $$a(\tau)=\frac{1}{\sqrt{\beta}}(\sin \alpha \tau), \quad t(\tau)=\frac{1}{\alpha \sqrt{\beta}}(1-\cos \alpha \tau),$$

  where $\alpha \equiv H_{0} \sqrt{\left(\Omega_{0}-1\right)} . \quad$ Recall that $\left.\int d x / \sqrt{1-x^{2}}=\sin ^{-1} x .\right]$

  Using the solution for $a(\tau)$, find the value of the new time variable $\tau=\tau_{0}$ today and hence deduce that the age of the universe in this model is

  $$t_{0}=H_{0}^{-1} \frac{\sqrt{\Omega_{0}}-1}{\Omega_{0}-1}$$

  comment

• 3.I.10D

  #Cosmology

  2005

  (a) Define and discuss the concept of the cosmological horizon and the Hubble radius for a homogeneous isotropic universe. Illustrate your discussion with the specific examples of the Einstein-de Sitter universe $\left(a \propto t^{2 / 3}\right.$ for $\left.t>0\right)$ and a de Sitter universe $\left(a \propto e^{H t}\right.$ with $H$ constant, $t>-\infty)$.

  (b) Explain the horizon problem for a decelerating universe in which $a(t) \propto t^{\alpha}$ with $\alpha<1$. How can inflation cure the horizon problem?

  (c) Consider a Tolman (radiation-filled) universe $\left(a(t) \propto t^{1 / 2}\right.$ ) beginning at $t_{\mathrm{r}} \sim$ $10^{-35} \mathrm{~s}$ and lasting until today at $t_{0} \approx 10^{17} \mathrm{~s}$. Estimate the horizon size today $d_{H}\left(t_{0}\right)$ and project this lengthscale backwards in time to show that it had a physical size of about 1 metre at $t \approx t_{\mathrm{r}}$.

  Prior to $t \approx t_{\mathrm{r}}$, assume an inflationary (de Sitter) epoch with constant Hubble parameter $H$ given by its value at $t \approx t_{\mathrm{r}}$ for the Tolman universe. How much expansion during inflation is required for the observable universe today to have begun inside one Hubble radius?

  comment

• 4.I.10D

  #Cosmology

  2005

  The linearised equation for the growth of a density fluctuation $\delta_{k}$ in a homogeneous and isotropic universe is

  $$\frac{d^{2} \delta_{k}}{d t^{2}}+2 \frac{\dot{a}}{a} \frac{d \delta_{k}}{d t}-\left(4 \pi G \rho_{\mathrm{m}}-\frac{v_{s}^{2} k^{2}}{a^{2}}\right) \delta_{k}=0,$$

  where $\rho_{\mathrm{m}}$ is the non-relativistic matter density, $k$ is the comoving wavenumber and $v_{s}$ is the sound speed $\left(v_{s}^{2} \equiv d P / d \rho\right)$.

  (a) Define the Jeans length $\lambda_{\mathrm{J}}$ and discuss its significance for perturbation growth.

  (b) Consider an Einstein-de Sitter universe with $a(t)=\left(t / t_{0}\right)^{2 / 3}$ filled with pressure-free matter $(P=0)$. Show that the perturbation equation $(*)$ can be re-expressed as

  $$\ddot{\delta}_{k}+\frac{4}{3 t} \dot{\delta}_{k}-\frac{2}{3 t^{2}} \delta_{k}=0 .$$

  By seeking power law solutions, find the growing and decaying modes of this equation.

  (c) Qualitatively describe the evolution of non-relativistic matter perturbations $(k>a H)$ in the radiation era, $a(t) \propto t^{1 / 2}$, when $\rho_{\mathrm{r}} \gg \rho_{\mathrm{m}}$. What feature in the power spectrum is associated with the matter-radiation transition?

  comment

• 4.II.15D

  #Cosmology

  2005

  For an ideal gas of bosons, the average occupation number can be expressed as

  $$\bar{n}_{k}=\frac{g_{k}}{e^{\left(E_{k}-\mu\right) / k T}-1},$$

  where $g_{k}$ has been included to account for the degeneracy of the energy level $E_{k}$. In the approximation in which a discrete set of energies $E_{k}$ is replaced with a continuous set with momentum $p$, the density of one-particle states with momentum in the range $p$ to $p+d p$ is $g(p) d p$. Explain briefly why

  $$g(p) \propto p^{2} V,$$

  where $V$ is the volume of the gas. Using this formula with equation $(*)$, obtain an expression for the total energy density $\epsilon=E / V$ of an ultra-relativistic gas of bosons at zero chemical potential as an integral over $p$. Hence show that

  $$\epsilon \propto T^{\alpha}$$

  where $\alpha$ is a number you should find. Why does this formula apply to photons?

  Prior to a time $t \sim 100,000$ years, the universe was filled with a gas of photons and non-relativistic free electrons and protons. Subsequently, at around $t \sim 400,000$ years, the protons and electrons began combining to form neutral hydrogen,

  $$p+e^{-} \leftrightarrow H+\gamma$$

  Deduce Saha's equation for this recombination process stating clearly the steps required:

  $$\frac{n_{\mathrm{e}}^{2}}{n_{\mathrm{H}}}=\left(\frac{2 \pi m_{\mathrm{e}} k T}{h^{2}}\right)^{3 / 2} \exp (-I / k T)$$

  where $I$ is the ionization energy of hydrogen. [Note that the equilibrium number density of a non-relativistic species $\left(k T \ll m c^{2}\right)$ is given by $n=g_{s}\left(\frac{2 \pi m k T}{h^{2}}\right)^{3 / 2} \exp \left[\left(\mu-m c^{2}\right) / k T\right]$, while the photon number density is $n_{\gamma}=16 \pi \zeta(3)\left(\frac{k T}{h c}\right)^{3}$, where $\left.\zeta(3) \approx 1.20 \ldots\right]$

  Consider now the fractional ionization $X_{\mathrm{e}}=n_{\mathrm{e}} / n_{\mathrm{B}}$, where $n_{B}=n_{\mathrm{p}}+n_{\mathrm{H}}=\eta n_{\gamma}$ is the baryon number of the universe and $\eta$ is the baryon-to-photon ratio. Find an expression for the ratio

  $$\left(1-X_{\mathrm{e}}\right) / X_{\mathrm{e}}^{2}$$

  in terms only of $k T$ and constants such as $\eta$ and $I$. One might expect neutral hydrogen to form at a temperature given by $k T \approx I \approx 13 \mathrm{eV}$, but instead in our universe it forms at the much lower temperature $k T \approx 0.3 \mathrm{eV}$. Briefly explain why.

  comment

• 1.II.16F

  #Logic and Set Theory

  2005

  State and prove Zorn's Lemma. [You may assume Hartogs' Lemma.] Where in your argument have you made use of the Axiom of Choice?

  Show that $\mathbb{R}$, considered as a rational vector space, has a basis.

  Prove that $\mathbb{R}$ and $\mathbb{R}^{2}$ are isomorphic as rational vector spaces.

  comment

• 2.II.16F

  #Logic and Set Theory

  2005

  Give the inductive and the synthetic definitions of ordinal addition, and prove that they are equivalent. Give an example to show that ordinal addition is not commutative.

  Which of the following assertions about ordinals $\alpha, \beta$ and $\gamma$ are always true, and which can be false? Give proofs or counterexamples as appropriate.

  (i) $\alpha+(\beta+\gamma)=(\alpha+\beta)+\gamma$.

  (ii) If $\alpha$ and $\beta$ are limit ordinals then $\alpha+\beta=\beta+\alpha$.

  (iii) If $\alpha+\beta=\omega_{1}$ then $\alpha=0$ or $\alpha=\omega_{1}$.

  (iv) If $\alpha+\beta=\omega_{1}$ then $\beta=0$ or $\beta=\omega_{1}$.

  comment

• 3.II.16F

  #Logic and Set Theory

  2005

  State the Axiom of Foundation and the Principle of $\in$-Induction, and show that they are equivalent (in the presence of the other axioms of ZF). [You may assume the existence of transitive closures.]

  Explain briefly how the Principle of $\in$-Induction implies that every set is a member of some $V_{\alpha}$.

  For each natural number $n$, find the cardinality of $V_{n}$. For which ordinals $\alpha$ is the cardinality of $V_{\alpha}$ equal to that of the reals?

  comment

• 4.II.16F

  #Logic and Set Theory

  2005

  State and prove the Completeness Theorem for Propositional Logic. [You do not need to give definitions of the various terms involved. You may assume that the set of primitive propositions is countable. You may also assume the Deduction Theorem, provided that you state it clearly.]

  Where in your argument have you used the third axiom, namely $(\neg \neg p) \Rightarrow p ?$

  State the Compactness Theorem, and deduce it from the Completeness Theorem.

  comment

• 1.II .17F

  #Graph Theory

  2005

  Show that an acyclic graph has a vertex of degree at most one. Prove that a tree (that is, a connected acyclic graph) of order $n$ has size $n-1$, and deduce that every connected graph of order $n$ and size $n-1$ is a tree.

  Let $T$ be a tree of order $t$. Show that if $G$ is a graph with $\delta(G) \geqslant t-1$ then $T$ is a subgraph of $G$, but that this need not happen if $\delta(G) \geqslant t-2$.

  comment

• 2.II.17F

  #Graph Theory

  2005

  Brooks' Theorem states that if $G$ is a connected graph then $\chi(G) \leqslant \Delta(G)$ unless $G$ is complete or is an odd cycle. Prove the theorem for 3-connected graphs $G$.

  Let $G$ be a graph, and let $d_{1}+d_{2}=\Delta(G)-1$. By considering a partition $V_{1}, V_{2}$ of $V(G)$ that minimizes the quantity $d_{2} e\left(G\left[V_{1}\right]\right)+d_{1} e\left(G\left[V_{2}\right]\right)$, show that there is a partition with $\Delta\left(G\left[V_{i}\right]\right) \leqslant d_{i}, i=1,2$.

  By taking $d_{1}=3$, show that if a graph $G$ contains no $K_{4}$ then $\chi(G) \leqslant \frac{3}{4} \Delta(G)+\frac{3}{2}$.

  comment

• 3.II.17F

  #Graph Theory

  2005

  Let $X$ and $Y$ be disjoint sets of $n \geqslant 6$ vertices each. Let $G$ be a bipartite graph formed by adding edges between $X$ and $Y$ randomly and independently with probability $p=1 / 100$. Let $e(U, V)$ be the number of edges of $G$ between the subsets $U \subset X$ and $V \subset Y$. Let $k=\left\lceil n^{1 / 2}\right\rceil$. Consider three events $\mathcal{A}, \mathcal{B}$ and $\mathcal{C}$, as follows.

  $$\begin{array}{ll} \mathcal{A}: & \text { there exist } U \subset X, V \subset Y \text { with }|U|=|V|=k \text { and } e(U, V)=0 \\ \mathcal{B}: & \text { there exist } x \in X, W \subset Y \text { with }|W|=n-k \text { and } e(\{x\}, W)=0 \\ \mathcal{C}: & \text { there exist } Z \subset X, y \in Y \text { with }|Z|=n-k \text { and } e(Z,\{y\})=0 \end{array}$$

  Show that $\operatorname{Pr}(\mathcal{A}) \leqslant n^{2 k}(1-p)^{k^{2}}$ and $\operatorname{Pr}(\mathcal{B} \cup \mathcal{C}) \leqslant 2 n^{k+1}(1-p)^{n-k}$. Hence show that $\operatorname{Pr}(\mathcal{A} \cup \mathcal{B} \cup \mathcal{C})<3 n^{2 k}(1-p)^{n / 2}$ and so show that, almost surely, none of $\mathcal{A}, \mathcal{B}$ or $\mathcal{C}$ occur. Deduce that, almost surely, $G$ has a matching from $X$ to $Y$.

  comment

• 4.II.17F

  #Graph Theory

  2005

  Write an essay on extremal graph theory. Your essay should include the proof of at least one extremal theorem. You should state the Erdős-Stone theorem, as well as describing its proof and showing how it can be applied.

  comment

• 1.II.18G

  #Galois Theory

  2005

  Let $L / K$ be a field extension. State what it means for an element $x \in L$ to be algebraic over $K$. Show that $x$ is algebraic over $K$ if and only if the field $K(x)$ is finite dimensional as a vector space over $K$.

  State what it means for a field extension $L / K$ to be algebraic. Show that, if $M / L$ is algebraic and $L / K$ is algebraic, then $M / K$ is algebraic.

  comment

• 2.II.18G

  #Galois Theory

  2005

  Let $K$ be a field of characteristic 0 containing all roots of unity.

  (i) Let $L$ be the splitting field of the polynomial $X^{n}-a$ where $a \in K$. Show that the Galois group of $L / K$ is cyclic.

  (ii) Suppose that $M / K$ is a cyclic extension of degree $m$ over $K$. Let $g$ be a generator of the Galois group and $\zeta \in K$ a primitive $m$-th root of 1 . By considering the resolvent

  $$R(w)=\sum_{i=0}^{m-1} \frac{g^{i}(w)}{\zeta^{i}}$$

  of elements $w \in M$, show that $M$ is the splitting field of a polynomial $X^{m}-a$ for some $a \in K$.

  comment

• 3.II.18G

  #Galois Theory

  2005

  Find the Galois group of the polynomial

  $$x^{4}+x+1$$

  over $\mathbb{F}_{2}$ and $\mathbb{F}_{3}$. Hence or otherwise determine the Galois group over $\mathbb{Q}$.

  [Standard general results from Galois theory may be assumed.]

  comment

• 4.II.18G

  #Galois Theory

  2005

  (i) Let $K$ be the splitting field of the polynomial

  $$x^{4}-4 x^{2}-1$$

  over $\mathbb{Q}$. Show that $[K: \mathbb{Q}]=8$, and hence show that the Galois group of $K / \mathbb{Q}$ is the dihedral group of order 8 .

  (ii) Let $L$ be the splitting field of the polynomial

  $$x^{4}-4 x^{2}+1$$

  over $\mathbb{Q}$. Show that $[L: \mathbb{Q}]=4$. Show that the Galois group of $L / \mathbb{Q}$ is $C_{2} \times C_{2}$.

  comment

• 1.II.19G

  #Representation Theory

  2005

  Let the finite group $G$ act on finite sets $X$ and $Y$, and denote by $\mathbb{C}[X], \mathbb{C}[Y]$ the associated permutation representations on the spaces of complex functions on $X$ and $Y$. Call their characters $\chi_{X}$ and $\chi_{Y}$.

  (i) Show that the inner product $\left\langle\chi_{X} \mid \chi_{Y}\right\rangle$ is the number of orbits for the diagonal action of $G$ on $X \times Y$.

  (ii) Assume that $|X|>1$, and let $S \subset \mathbb{C}[X]$ be the subspace of those functions whose values sum to zero. By considering $\left\|\chi_{X}\right\|^{2}$, show that $S$ is irreducible if and only if the $G$-action on $X$ is doubly transitive: this means that for any two pairs $\left(x_{1}, x_{2}\right)$ and $\left(x_{1}^{\prime}, x_{2}^{\prime}\right)$ of points in $X$ with $x_{1} \neq x_{2}$ and $x_{1}^{\prime} \neq x_{2}^{\prime}$, there exists some $g \in G$ with $g x_{1}=x_{1}^{\prime}$ and $g x_{2}=x_{2}^{\prime}$.

  (iii) Let now $G=S_{n}$ acting on the set $X=\{1,2, \ldots, n\}$. Call $Y$ the set of 2element subsets of $X$, with the natural action of $S_{n}$. If $n \geqslant 4$, show that $\mathbb{C}[Y]$ decomposes under $S_{n}$ into three irreducible representations, one of which is the trivial representation and another of which is $S$. What happens when $n=3$ ?

  [Hint: Consider $\left\langle 1 \mid \chi_{Y}\right\rangle,\left\langle\chi_{X} \mid \chi_{Y}\right\rangle$ and $\left\|\chi_{Y}\right\|^{2}$.]

  comment

• 2.II.19G

  #Representation Theory

  2005

  Let $G$ be a finite group and $\left\{\chi_{i}\right\}$ the set of its irreducible characters. Also choose representatives $g_{j}$ for the conjugacy classes, and denote by $Z\left(g_{j}\right)$ their centralisers.

  (i) State the orthogonality and completeness relations for the $\chi_{k}$.

  (ii) Using Part (i), or otherwise, show that

  $$\sum_{i} \overline{\chi_{i}\left(g_{j}\right)} \cdot \chi_{i}\left(g_{k}\right)=\delta_{j k} \cdot\left|Z\left(g_{j}\right)\right|$$

  (iii) Let $A$ be the matrix with $A_{i j}=\chi_{i}\left(g_{j}\right)$. Prove that

  $$|\operatorname{det} A|^{2}=\prod_{j}\left|Z\left(g_{j}\right)\right|$$

  (iv) Show that $\operatorname{det} A$ is either real or purely imaginary, explaining when each situation occurs.

  [Hint for (iv): Consider the effect of complex conjugation on the rows of the matrix A.]

  comment

• 3.II.19G

  #Representation Theory

  2005

  Let $G$ be the group with 21 elements generated by $a$ and $b$, subject to the relations $a^{7}=b^{3}=1$ and $b a=a^{2} b .$

  (i) Find the conjugacy classes of $G$.

  (ii) Find three non-isomorphic one-dimensional representations of $G$.

  (iii) For a subgroup $H$ of a finite group $K$, write down (without proof) the formula for the character of the $K$-representation induced from a representation of $H$.

  (iv) By applying Part (iii) to the case when $H$ is the subgroup $\langle a\rangle$ of $K=G$, find the remaining irreducible characters of $G$.

  comment

• 4.II.19G

  #Representation Theory

  2005

  (i) State and prove the Weyl integration formula for $S U(2)$.

  (ii) Determine the characters of the symmetric powers of the standard 2-dimensional representation of $S U(2)$ and prove that they are irreducible.

  [Any general theorems from the course may be used.]

  comment

• 1.II.20G

  #Number Fields

  2005

  Let $K=\mathbb{Q}(\sqrt{2}, \sqrt{p})$ where $p$ is a prime with $p \equiv 3 \operatorname{(\operatorname {mod}4)\text {.Bycomputingthe}}$ relative traces $\operatorname{Tr}_{K / k}(\theta)$ where $k$ runs through the three quadratic subfields of $K$, show that the algebraic integers $\theta$ in $K$ have the form

  $$\theta=\frac{1}{2}(a+b \sqrt{p})+\frac{1}{2}(c+d \sqrt{p}) \sqrt{2}$$

  where $a, b, c, d$ are rational integers. By further computing the relative norm $\mathrm{N}_{K / k}(\theta)$ where $k=\mathbb{Q}(\sqrt{2})$, show that 4 divides

  $$a^{2}+p b^{2}-2\left(c^{2}+p d^{2}\right) \quad \text { and } \quad 2(a b-2 c d)$$

  Deduce that $a$ and $b$ are even and $c \equiv d(\bmod 2)$. Hence verify that an integral basis for $K$ is

  $$1, \quad \sqrt{2}, \quad \sqrt{p}, \quad \frac{1}{2}(1+\sqrt{p}) \sqrt{2} .$$

  comment

• 2.II.20G

  #Number Fields

  2005

  Show that $\varepsilon=(3+\sqrt{7}) /(3-\sqrt{7})$ is a unit in $k=\mathbb{Q}(\sqrt{7})$. Show further that 2 is the square of the principal ideal in $k$ generated by $3+\sqrt{7}$.

  Assuming that the Minkowski constant for $k$ is $\frac{1}{2}$, deduce that $k$ has class number 1 .

  Assuming further that $\varepsilon$ is the fundamental unit in $k$, show that the complete solution in integers $x, y$ of the equation $x^{2}-7 y^{2}=2$ is given by

  $$x+\sqrt{7} y=\pm \varepsilon^{n}(3+\sqrt{7}) \quad(n=0, \pm 1, \pm 2, \ldots) .$$

  Calculate the particular solution in positive integers $x, y$ when $n=1$

  comment

• 4.II.20G

  #Number Fields

  2005

  State Dedekind's theorem on the factorisation of rational primes into prime ideals.

  A rational prime is said to ramify totally in a field with degree $n$ if it is the $n$-th power of a prime ideal in the field. Show that, in the quadratic field $\mathbb{Q}(\sqrt{d})$ with $d$ a squarefree integer, a rational prime ramifies totally if and only if it divides the discriminant of the field.

  Verify that the same holds in the cyclotomic field $\mathbb{Q}(\zeta)$, where $\zeta=e^{2 \pi i / q}$ with $q$ an odd prime, and also in the cubic field $\mathbb{Q}(\sqrt[3]{2})$.

  $[$ The cases $d \equiv 2,3(\bmod 4)$ and $d \equiv 1(\bmod 4)$ for the quadratic field should be carefully distinguished. It can be assumed that $\mathbb{Q}(\zeta)$ has a basis $1, \zeta, \ldots, \zeta^{q-2}$ and discriminant $(-1)^{(q-1) / 2} q^{q-1}$, and that $\mathbb{Q}(\sqrt[3]{2})$ has a basis $1, \sqrt[3]{2},(\sqrt[3]{2})^{2}$ and discriminant $\left.-108 .\right]$

  comment

• 1.II.21H

  #Algebraic Topology

  2005

  (i) Show that if $E \rightarrow T$ is a covering map for the torus $T=S^{1} \times S^{1}$, then $E$ is homeomorphic to one of the following: the plane $\mathbb{R}^{2}$, the cylinder $\mathbb{R} \times S^{1}$, or the torus $T$.

  (ii) Show that any continuous map from a sphere $S^{n}(n \geqslant 2)$ to the torus $T$ is homotopic to a constant map.

  [General theorems from the course may be used without proof, provided that they are clearly stated.]

  comment

• 2.II.21H

  #Algebraic Topology

  2005

  State the Van Kampen Theorem. Use this theorem and the fact that $\pi_{1} S^{1}=\mathbb{Z}$ to compute the fundamental groups of the torus $T=S^{1} \times S^{1}$, the punctured torus $T \backslash\{p\}$, for some point $p \in T$, and the connected sum $T \# T$ of two copies of $T$.

  comment

• 3.II.20H

  #Algebraic Topology

  2005

  Let $X$ be a space that is triangulable as a simplicial complex with no $n$-simplices. Show that any continuous map from $X$ to $S^{n}$ is homotopic to a constant map.

  [General theorems from the course may be used without proof, provided they are clearly stated.]

  comment

• 4.II.21H

  #Algebraic Topology

  2005

  Let $X$ be a simplicial complex. Suppose $X=B \cup C$ for subcomplexes $B$ and $C$, and let $A=B \cap C$. Show that the inclusion of $A$ in $B$ induces an isomorphism $H_{*} A \rightarrow H_{*} B$ if and only if the inclusion of $C$ in $X$ induces an isomorphism $H_{*} C \rightarrow H_{*} X$.

  comment

• 1.II.22F

  #Linear Analysis

  2005

  Let $K$ be a compact Hausdorff space, and let $C(K)$ denote the Banach space of continuous, complex-valued functions on $K$, with the supremum norm. Define what it means for a set $S \subset C(K)$ to be totally bounded, uniformly bounded, and equicontinuous.

  Show that $S$ is totally bounded if and only if it is both uniformly bounded and equicontinuous.

  Give, with justification, an example of a Banach space $X$ and a subset $S \subset X$ such that $S$ is bounded but not totally bounded.

  comment

• 2.II.22F

  #Linear Analysis

  2005

  Let $X$ and $Y$ be Banach spaces. Define what it means for a linear operator $T: X \rightarrow Y$ to be compact. For a linear operator $T: X \rightarrow X$, define the spectrum, point spectrum, and resolvent set of $T$.

  Now let $H$ be a complex Hilbert space. Define what it means for a linear operator $T: H \rightarrow H$ to be self-adjoint. Suppose $e_{1}, e_{2}, \ldots$ is an orthonormal basis for $H$. Define a linear operator $T: H \rightarrow H$ by setting $T e_{i}=\frac{1}{i} e_{i}$. Is $T$ compact? Is $T$ self-adjoint? Justify your answers. Describe, with proof, the spectrum, point spectrum, and resolvent set of $T$.

  comment

• 3.II.21F

  #Linear Analysis

  2005

  Let $X$ be a normed vector space. Define the dual $X^{*}$ of $X$. Define the normed vector spaces $l^{s}=l^{s}(\mathbb{C})$ for all $1 \leqslant s \leqslant \infty$. [You are not required to prove that the norms you have given are indeed norms.]

  Now let $1<p, q<\infty$ be such that $p^{-1}+q^{-1}=1$. Show that $\left(l^{q}\right)^{*}$ is isometrically isomorphic to $l^{p}$ as a normed vector space. [You may assume any standard inequalities.]

  Show by a similar argument that $\left(l^{1}\right)^{*}$ is isomorphic to $l^{\infty}$. Does your argument also show that $\left(l^{\infty}\right)^{*}$ is isomorphic to $l^{1}$ ? If not, where does it fail?

  comment

• 4.II.22F

  #Linear Analysis

  2005

  Let $X$ and $Y$ be normed vector spaces. Show that a linear map $T: X \rightarrow Y$ is continuous if and only if it is bounded.

  Now let $X, Y, Z$ be Banach spaces. We say that a map $F: X \times Y \rightarrow Z$ is bilinear

  $$\begin{aligned} &F(\alpha x+\beta y, z)=\alpha F(x, z)+\beta F(y, z), \text { for all scalars } \alpha, \beta \text { and } x, y \in X, z \in Y \\ &F(x, \alpha y+\beta z)=\alpha F(x, y)+\beta F(x, z), \text { for all scalars } \alpha, \beta \text { and } x \in X, y, z \in Y . \end{aligned}$$

  Suppose that $F$ is bilinear and is continuous in each variable separately. Show that there exists a constant $M \geqslant 0$ such that

  $$\|F(x, y)\| \leqslant M\|x\|\|y\|$$

  for all $x \in X, y \in Y$.

  [Hint: For each fixed $x \in X$, consider the map $y \mapsto F(x, y)$ from $Y$ to $Z$.]

  comment

• 1.II.23H

  #Riemann Surfaces

  2005

  Let $\Lambda$ be a lattice in $\mathbb{C}$ generated by 1 and $\tau$, where $\tau$ is a fixed complex number with $\operatorname{Im} \tau>0$. The Weierstrass $\wp$-function is defined as a $\Lambda$-periodic meromorphic function such that

  (1) the only poles of $\wp$ are at points of $\Lambda$, and

  (2) there exist positive constants $\varepsilon$ and $M$ such that for all $|z|<\varepsilon$, we have

  $$\left|\wp(z)-1 / z^{2}\right|<M|z|$$

  Show that $\wp$ is uniquely determined by the above properties and that $\wp(-z)=\wp(z)$. By considering the valency of $\wp$ at $z=1 / 2$, show that $\wp^{\prime \prime}(1 / 2) \neq 0$.

  Show that $\wp$ satisfies the differential equation

  $$\wp^{\prime \prime}(z)=6 \wp^{2}(z)+A,$$

  for some complex constant $A$.

  [Standard theorems about doubly-periodic meromorphic functions may be used without proof provided they are accurately stated, but any properties of the $\wp$-function that you use must be deduced from first principles.]

  comment

• 2.II.23H

  #Riemann Surfaces

  2005

  Define the terms function element and complete analytic function.

  Let $(f, D)$ be a function element such that $f(z)^{n}=p(z)$, for some integer $n \geqslant 2$, where $p(z)$ is a complex polynomial with no multiple roots. Let $F$ be the complete analytic function containing $(f, D)$. Show that every function element $(\tilde{f}, \tilde{D})$ in $F$ satisfies $\tilde{f}(z)^{n}=p(z) .$

  Describe how the non-singular complex algebraic curve

  $$C=\left\{(z, w) \in \mathbb{C}^{2} \mid w^{n}-p(z)=0\right\}$$

  can be made into a Riemann surface such that the first and second projections $\mathbb{C}^{2} \rightarrow \mathbb{C}$ define, by restriction, holomorphic maps $f_{1}, f_{2}: C \rightarrow \mathbb{C}$.

  Explain briefly the relation between $C$ and the Riemann surface $S(F)$ for the complete analytic function $F$ given earlier.

  [You do not need to prove the Inverse Function Theorem, provided that you state it accurately.]

  comment

• 3.II.22H

  #Riemann Surfaces

  2005

  Explain what is meant by a meromorphic differential on a compact connected Riemann surface $S$. Show that if $f$ is a meromorphic function on $S$ then $d f$ defines a meromorphic differential on $S$. Show also that if $\eta$ and $\omega$ are two meromorphic differentials on $S$ which are not identically zero then $\eta=h \omega$ for some meromorphic function $h$. Show that zeros and poles of a meromorphic differential are well-defined and explain, without proof, how to obtain the genus of $S$ by counting zeros and poles of $\omega$.

  Let $V_{0} \subset \mathbb{C}^{2}$ be the affine curve with equation $u^{2}=v^{2}+1$ and let $V \subset \mathbb{P}^{2}$ be the corresponding projective curve. Show that $V$ is non-singular with two points at infinity, and that $d v$ extends to a meromorphic differential on $V$.

  [You may assume without proof that that the map

  $$(u, v)=\left(\frac{t^{2}+1}{t^{2}-1}, \frac{2 t}{t^{2}-1}\right), \quad t \in \mathbb{C} \backslash\{-1,1\},$$

  is onto $V_{0} \backslash\{(1,0)\}$ and extends to a biholomorphic map from $\mathbb{P}^{1}$ onto $V$.]

  comment

• 4.II.23H

  #Riemann Surfaces

  2005

  Define what is meant by the degree of a non-constant holomorphic map between compact connected Riemann surfaces, and state the Riemann-Hurwitz formula.

  Let $E_{\Lambda}=\mathbb{C} / \Lambda$ be an elliptic curve defined by some lattice $\Lambda$. Show that the map

  $$\psi: z+\Lambda \in E_{\Lambda} \rightarrow-z+\Lambda \in E_{\Lambda}$$

  is biholomorphic, and that there are four points in $E_{\Lambda}$ fixed by $\psi$.

  Let $S=E_{\Lambda} / \sim$ be the quotient surface (the topological surface obtained by identifying $z+\Lambda$ and $\psi(z+\Lambda)$, for each $z)$ and let $\pi: E_{\Lambda} \rightarrow S$ be the corresponding projection map. Denote by $E_{\Lambda}^{0} \subset E_{\Lambda}$ the complement of the four points fixed by $\psi$, and let $S^{0}=\pi\left(E_{\Lambda}^{0}\right)$. Describe briefly a family of charts making $S^{0}$ into a Riemann surface, so that $\pi: E_{\Lambda}^{0} \rightarrow S^{0}$ is a holomorphic map.

  Now assume that the complex structure of $S^{0}$ extends to $S$, so that $S$ is a Riemann surface, and that the map $\pi$ is in fact holomorphic on all of $E_{\Lambda}$. Calculate the genus of $S$.

  comment

• 1.II.24H

  #Differential Geometry

  2005

  Let $f: X \rightarrow Y$ be a smooth map between manifolds without boundary.

  (i) Define what is meant by a critical point, critical value and regular value of $f$.

  (ii) Show that if $y$ is a regular value of $f$ and $\operatorname{dim} X \geqslant \operatorname{dim} Y$, then the set $f^{-1}(y)$ is a submanifold of $X$ with $\operatorname{dim} f^{-1}(y)=\operatorname{dim} X-\operatorname{dim} Y$.

  [You may assume the inverse function theorem.]

  (iii) Let $S L(n, \mathbb{R})$ be the group of all $n \times n$ real matrices with determinant 1. Prove that $S L(n, \mathbb{R})$ is a submanifold of the set of all $n \times n$ real matrices. Find the tangent space to $S L(n, \mathbb{R})$ at the identity matrix.

  comment

• 2.II.24H

  #Differential Geometry

  2005

  State the isoperimetric inequality in the plane.

  Let $S \subset \mathbb{R}^{3}$ be a surface. Let $p \in S$ and let $S_{r}(p)$ be a geodesic circle of centre $p$ and radius $r$ ( $r$ small). Let $L$ be the length of $S_{r}(p)$ and $A$ be the area of the region bounded by $S_{r}(p)$. Prove that

  $$4 \pi A-L^{2}=\pi^{2} r^{4} K(p)+\varepsilon(r),$$

  where $K(p)$ is the Gaussian curvature of $S$ at $p$ and

  $$\lim _{r \rightarrow 0} \frac{\varepsilon(r)}{r^{4}}=0 .$$

  When $K(p)>0$ and $r$ is small, compare this briefly with the isoperimetric inequality in the plane.

  comment

• 3.II.23H

  #Differential Geometry

  2005

  (i) Define geodesic curvature and state the Gauss-Bonnet theorem.

  (ii) Let $\alpha: I \rightarrow \mathbb{R}^{3}$ be a closed regular curve parametrized by arc-length, and assume that $\alpha$ has non-zero curvature everywhere. Let $n: I \rightarrow S^{2} \subset \mathbb{R}^{3}$ be the curve given by the normal vector $n(s)$ to $\alpha(s)$. Let $\bar{s}$ be the arc-length of the curve $n$ on $S^{2}$. Show that the geodesic curvature $k_{g}$ of $n$ is given by

  $$k_{g}=-\frac{d}{d s} \tan ^{-1}(\tau / k) \frac{d s}{d \bar{s}},$$

  where $k$ and $\tau$ are the curvature and torsion of $\alpha$.

  (iii) Suppose now that $n(s)$ is a simple curve (i.e. it has no self-intersections). Show that $n(I)$ divides $S^{2}$ into two regions of equal area.

  comment

• 4.II.24H

  #Differential Geometry

  2005

  (i) Define what is meant by an isothermal parametrization. Let $\phi: U \rightarrow \mathbb{R}^{3}$ be an isothermal parametrization. Prove that

  $$\phi_{u u}+\phi_{v v}=2 \lambda^{2} \mathbf{H}$$

  where $\mathbf{H}$ is the mean curvature vector and $\lambda^{2}=\left\langle\phi_{u}, \phi_{u}\right\rangle$.

  Define what it means for $\phi$ to be minimal, and deduce that $\phi$ is minimal if and only if $\Delta \phi=0$.

  [You may assume that the mean curvature $H$ can be written as

  $$\left.H=\frac{e G-2 f F+g E}{2\left(E G-F^{2}\right)} .\right]$$

  (ii) Write $\phi(u, v)=(x(u, v), y(u, v), z(u, v))$. Consider the complex valued functions

  $$\varphi_{1}=x_{u}-i x_{v}, \quad \varphi_{2}=y_{u}-i y_{v}, \quad \varphi_{3}=z_{u}-i z_{v}$$

  Show that $\phi$ is isothermal if and only if $\varphi_{1}^{2}+\varphi_{2}^{2}+\varphi_{3}^{2} \equiv 0$.

  Suppose now that $\phi$ is isothermal. Prove that $\phi$ is minimal if and only if $\varphi_{1}, \varphi_{2}$ and $\varphi_{3}$ are holomorphic functions.

  (iii) Consider the immersion $\phi: \mathbb{R}^{2} \rightarrow \mathbb{R}^{3}$ given by

  $$\phi(u, v)=\left(u-u^{3} / 3+u v^{2},-v+v^{3} / 3-u^{2} v, u^{2}-v^{2}\right)$$

  Find $\varphi_{1}, \varphi_{2}$ and $\varphi_{3}$. Show that $\phi$ is an isothermal parametrization of a minimal surface.

  comment

• 1.II $. 25 \mathrm{~J} \quad$

  #Probability and Measure

  2005

  Let $(\Omega, \mathcal{F}, \mathbb{P})$ be a probability space. For $\mathcal{G} \subseteq \mathcal{F}$, what is meant by saying that $\mathcal{G}$ is a $\pi$-system? State the 'uniqueness of extension' theorem for measures on $\sigma(\mathcal{G})$ having given values on $\mathcal{G}$.

  For $\mathcal{G}, \mathcal{H} \subseteq \mathcal{F}$, we call $\mathcal{G}, \mathcal{H}$ independent if

  $$\mathbb{P}(G \cap H)=\mathbb{P}(G) \mathbb{P}(H) \quad \text { for all } \quad G \in \mathcal{G}, H \in \mathcal{H}$$

  If $\mathcal{G}$ and $\mathcal{H}$ are independent $\pi$-systems, show that $\sigma(\mathcal{G})$ and $\sigma(\mathcal{H})$ are independent.

  Let $Y_{1}, Y_{2}, \ldots, Y_{m}, Z_{1}, Z_{2}, \ldots, Z_{n}$ be independent random variables on $(\Omega, \mathcal{F}, \mathbb{P})$. Show that the $\sigma$-fields $\sigma(Y)=\sigma\left(Y_{1}, Y_{2}, \ldots, Y_{m}\right)$ and $\sigma(Z)=\sigma\left(Z_{1}, Z_{2}, \ldots, Z_{n}\right)$ are independent.

  comment

• 2.II.25J

  #Probability and Measure

  2005

  Let $\mathcal{R}$ be a family of random variables on the common probability space $(\Omega, \mathcal{F}, \mathbb{P})$. What is meant by saying that $\mathcal{R}$ is uniformly integrable? Explain the use of uniform integrability in the study of convergence in probability and in $L^{1}$. [Clear definitions should be given of any terms used, but proofs may be omitted.]

  Let $\mathcal{R}_{1}$ and $\mathcal{R}_{2}$ be uniformly integrable families of random variables on $(\Omega, \mathcal{F}, \mathbb{P})$. Show that the family $\mathcal{R}$ given by

  $$\mathcal{R}=\left\{X+Y: X \in \mathcal{R}_{1}, Y \in \mathcal{R}_{2}\right\}$$

  is uniformly integrable.

  comment

• $3 . \mathrm{II} . 24 \mathrm{~J} \quad$

  #Probability and Measure

  2005

  Let $(\Omega, \mathcal{F}, \mu)$ be a measure space. For a measurable function $f: \Omega \rightarrow \mathbb{R}$, and $p \in[1, \infty)$, let $\|f\|_{p}=\left[\mu\left(|f|^{p}\right)\right]^{1 / p}$. Let $L^{p}$ be the space of all such $f$ with $\|f\|_{p}<\infty$. Explain what is meant by each of the following statements:

  (a) A sequence of functions $\left(f_{n}: n \geqslant 1\right)$ is Cauchy in $L^{p}$.

  (b) $L^{p}$ is complete.

  Show that $L^{p}$ is complete for $p \in[1, \infty)$.

  Take $\Omega=(1, \infty), \mathcal{F}$ the Borel $\sigma$-field of $\Omega$, and $\mu$ the Lebesgue measure on $(\Omega, \mathcal{F})$. For $p=1,2$, determine which if any of the following sequences of functions are Cauchy in $L^{p}$

  (i) $f_{n}(x)=x^{-1} 1_{(1, n)}(x)$,

  (ii) $g_{n}(x)=x^{-2} 1_{(1, n)}(x)$,

  where $1_{A}$ denotes the indicator function of the set $A$.

  comment

• 4.II.25J

  #Probability and Measure

  2005

  Let $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ be Borel-measurable. State Fubini's theorem for the double integral

  $$\int_{y \in \mathbb{R}} \int_{x \in \mathbb{R}} f(x, y) d x d y$$

  Let $0<a<b$. Show that the function

  $$f(x, y)= \begin{cases}e^{-x y} & \text { if } x \in(0, \infty), y \in[a, b] \\ 0 & \text { otherwise }\end{cases}$$

  is measurable and integrable on $\mathbb{R}^{2}$.

  Evaluate

  $$\int_{0}^{\infty} \frac{e^{-a x}-e^{-b x}}{x} d x$$

  by Fubini's theorem or otherwise.

  comment

• 1.II.26I

  #Applied Probability

  2005

  A cell has been placed in a biological solution at time $t=0$. After an exponential time of rate $\mu$, it is divided, producing $k$ cells with probability $p_{k}, k=0,1, \ldots$, with the mean value $\rho=\sum_{k=1}^{\infty} k p_{k}(k=0$ means that the cell dies $)$. The same mechanism is applied to each of the living cells, independently.

  (a) Let $M_{t}$ be the number of living cells in the solution by time $t>0$. Prove that $\mathbb{E} M_{t}=\exp [t \mu(\rho-1)]$. [You may use without proof, if you wish, the fact that, if a positive function $a(t)$ satisfies $a(t+s)=a(t) a(s)$ for $t, s \geqslant 0$ and is differentiable at zero, then $a(t)=e^{\alpha t}, t \geqslant 0$, for some $\left.\alpha .\right]$

  Let $\phi_{t}(s)=\mathbb{E} s^{M_{t}}$ be the probability generating function of $M_{t}$. Prove that it satisfies the following differential equation

  $$\frac{\mathrm{d}}{\mathrm{d} t} \phi_{t}(s)=\mu\left(-\phi_{t}(s)+\sum_{k=0}^{\infty} p_{k}\left[\phi_{t}(s)\right]^{k}\right), \quad \text { with } \quad \phi_{0}(s)=s$$

  (b) Now consider the case where each cell is divided in two cells $\left(p_{2}=1\right)$. Let $N_{t}=M_{t}-1$ be the number of cells produced in the solution by time $t$.

  Calculate the distribution of $N_{t}$. Is $\left(N_{t}\right)$ an inhomogeneous Poisson process? If so, what is its rate $\lambda(t)$ ? Justify your answer.

  comment

• 2.II.26I

  #Applied Probability

  2005

  What does it mean to say that $\left(X_{t}\right)$ is a renewal process?

  Let $\left(X_{t}\right)$ be a renewal process with holding times $S_{1}, S_{2}, \ldots$ and let $s>0$. For $n \geqslant 1$, set $T_{n}=S_{X_{s}+n}$. Show that

  $$\mathbb{P}\left(T_{n}>t\right) \geqslant \mathbb{P}\left(S_{n}>t\right), \quad t \geqslant 0,$$

  for all $n$, with equality if $n \geqslant 2$.

  Consider now the case where $S_{1}, S_{2}, \ldots$ are exponential random variables. Show that

  $$\mathbb{P}\left(T_{1}>t\right)>\mathbb{P}\left(S_{1}>t\right), \quad t>0$$

  and that, as $s \rightarrow \infty$,

  $$\mathbb{P}\left(T_{1}>t\right) \rightarrow \mathbb{P}\left(S_{1}+S_{2}>t\right), \quad t \geqslant 0$$

  comment

• 3.II.25I

  #Applied Probability

  2005

  Consider an $\mathrm{M} / \mathrm{G} / r / 0$ loss system with arrival rate $\lambda$ and service-time distribution $F$. Thus, arrivals form a Poisson process of rate $\lambda$, service times are independent with common distribution $F$, there are $r$ servers and there is no space for waiting. Use Little's Lemma to obtain a relation between the long-run average occupancy $L$ and the stationary probability $\pi$ that the system is full.

  Cafe-Bar Duo has 23 serving tables. Each table can be occupied either by one person or two. Customers arrive either singly or in a pair; if a table is empty they are seated and served immediately, otherwise, they leave. The times between arrivals are independent exponential random variables of mean $20 / 3$. Each arrival is twice as likely to be a single person as a pair. A single customer stays for an exponential time of mean 20 , whereas a pair stays for an exponential time of mean 30 ; all these times are independent of each other and of the process of arrivals. The value of orders taken at each table is a constant multiple $2 / 5$ of the time that it is occupied.

  Express the long-run rate of revenue of the cafe as a function of the probability $\pi$ that an arriving customer or pair of customers finds the cafe full.

  By imagining a cafe with infinitely many tables, show that $\pi \leqslant \mathbb{P}(N \geqslant 23)$ where $N$ is a Poisson random variable of parameter $7 / 2$. Deduce that $\pi$ is very small. [Credit will be given for any useful numerical estimate, an upper bound of $10^{-3}$ being sufficient for full credit.]

  comment

• 4.II.26I

  #Applied Probability

  2005

  A particle performs a continuous-time nearest neighbour random walk on a regular triangular lattice inside an angle $\pi / 3$, starting from the corner. See the diagram below. The jump rates are $1 / 3$ from the corner and $1 / 6$ in each of the six directions if the particle is inside the angle. However, if the particle is on the edge of the angle, the rate is $1 / 3$ along the edge away from the corner and $1 / 6$ to each of three other neighbouring sites in the angle. See the diagram below, where a typical trajectory is also shown.

  

  The particle position at time $t \geqslant 0$ is determined by its vertical level $V_{t}$ and its horizontal position $G_{t}$. For $k \geqslant 0$, if $V_{t}=k$ then $G_{t}=0, \ldots, k$. Here $1, \ldots, k-1$ are positions inside, and 0 and $k$ positions on the edge of the angle, at vertical level $k$.

  Let $J_{1}^{V}, J_{2}^{V}, \ldots$ be the times of subsequent jumps of process $\left(V_{t}\right)$ and consider the embedded discrete-time Markov chains

  $$Y_{n}^{\text {in }}=\left(\widehat{G}_{n}^{\text {in }}, \widehat{V}_{n}\right) \text { and } Y_{n}^{\text {out }}=\left(\widehat{G}_{n}^{\text {out }}, \widehat{V}_{n}\right)$$

  where $\widehat{V}_{n}$ is the vertical level immediately after time $J_{n}^{V}, \widehat{G}_{n}^{\text {in }}$ is the horizontal position immediately after time $J_{n}^{V}$, and $\widehat{G}_{n}^{\text {out }}$ is the horizontal position immediately before time $J_{n+1}^{V}$. (a) Assume that $\left(\widehat{V}_{n}\right)$ is a Markov chain with transition probabilities

  $$\mathbb{P}\left(\widehat{V}_{n}=k+1 \mid \widehat{V}_{n-1}=k\right)=\frac{k+2}{2(k+1)}, \mathbb{P}\left(\widehat{V}_{n}=k-1 \mid \widehat{V}_{n-1}=k\right)=\frac{k}{2(k+1)},$$

  and that $\left(V_{t}\right)$ is a continuous-time Markov chain with rates

  $$q_{k k-1}=\frac{k}{3(k+1)}, \quad q_{k k}=-\frac{2}{3}, \quad q_{k k+1}=\frac{k+2}{3(k+1)}$$

  [You will be asked to justify these assumptions in part (b) of the question.] Determine whether the chains $\left(\widehat{V}_{n}\right)$ and $\left(V_{t}\right)$ are transient, positive recurrent or null recurrent.

  (b) Now assume that, conditional on $\widehat{V}_{n}=k$ and previously passed vertical levels, the horizontal positions $\widehat{G}_{n}^{\text {in }}$ and $\widehat{G}_{n}^{\text {out }}$ are uniformly distributed on $\{0, \ldots, k\}$. In other words, for all attainable values $k, k_{n-1}, \ldots, k_{1}$ and for all $i=0, \ldots, k$,

  $$\begin{aligned} &\mathbb{P}\left(\widehat{G}_{n}^{\text {in }}=i \mid \widehat{V}_{n}=k, \widehat{V}_{n-1}=k_{n-1}, \ldots, \widehat{V}_{1}=k_{1}, \widehat{V}_{0}=0\right) \\ &\quad=\mathbb{P}\left(\widehat{G}_{n}^{\text {out }}=i \mid \widehat{V}_{n}=k, \widehat{V}_{n-1}=k_{n-1}, \ldots, \widehat{V}_{1}=k_{1}, \widehat{V}_{0}=0\right)=\frac{1}{k+1} \end{aligned}$$

  Deduce that $\left(\widehat{V}_{n}\right)$ and $\left(V_{t}\right)$ are indeed Markov chains with transition probabilities and rates as in (a).

  (c) Finally, prove property $(*)$.

  comment

• 1.II.27I

  #Principles of Statistics

  2005

  State Wilks' Theorem on the asymptotic distribution of likelihood-ratio test statistics.

  Suppose that $X_{1}, \ldots, X_{n}$ are independent with common $N\left(\mu, \sigma^{2}\right)$ distribution, where the parameters $\mu$ and $\sigma$ are both unknown. Find the likelihood-ratio test statistic for testing $H_{0}: \mu=0$ against $H_{1}: \mu$ unrestricted, and state its (approximate) distribution.

  What is the form of the $t$-test of $H_{0}$ against $H_{1}$ ? Explain why for large $n$ the likelihood-ratio test and the $t$-test are nearly the same.

  comment

• 2.II.27I

  #Principles of Statistics

  2005

  (i) Suppose that $X$ is a multivariate normal vector with mean $\mu \in \mathbb{R}^{d}$ and covariance matrix $\sigma^{2} I$, where $\mu$ and $\sigma^{2}$ are both unknown, and $I$ denotes the $d \times d$ identity matrix. Suppose that $\Theta_{0} \subset \Theta_{1}$ are linear subspaces of $\mathbb{R}^{d}$ of dimensions $d_{0}$ and $d_{1}$, where $d_{0}<d_{1}<d$. Let $P_{i}$ denote orthogonal projection onto $\Theta_{i}(i=0,1)$. Carefully derive the joint distribution of $\left(\left|X-P_{1} X\right|^{2},\left|P_{1} X-P_{0} X\right|^{2}\right)$ under the hypothesis $H_{0}: \mu \in \Theta_{0}$. How could you use this to make a test of $H_{0}$ against $H_{1}: \mu \in \Theta_{1}$ ?

  (ii) Suppose that $I$ students take $J$ exams, and that the mark $X_{i j}$ of student $i$ in exam $j$ is modelled as

  $$X_{i j}=m+\alpha_{i}+\beta_{j}+\varepsilon_{i j}$$

  where $\sum_{i} \alpha_{i}=0=\sum_{j} \beta_{j}$, the $\varepsilon_{i j}$ are independent $N\left(0, \sigma^{2}\right)$, and the parameters $m, \alpha, \beta$ and $\sigma$ are unknown. Construct a test of $H_{0}: \beta_{j}=0$ for all $j$ against $H_{1}: \sum_{j} \beta_{j}=0$.

  comment

• 3.II.26I

  #Principles of Statistics

  2005

  In the context of decision theory, explain the meaning of the following italicized terms: loss function, decision rule, the risk of a decision rule, a Bayes rule with respect to prior $\pi$, and an admissible rule. Explain how a Bayes rule with respect to a prior $\pi$ can be constructed.

  Suppose that $X_{1}, \ldots, X_{n}$ are independent with common $N(0, v)$ distribution, where $v>0$ is supposed to have a prior density $f_{0}$. In a decision-theoretic approach to estimating $v$, we take a quadratic loss: $L(v, a)=(v-a)^{2}$. Write $X=\left(X_{1}, \ldots, X_{n}\right)$ and $|X|=\left(X_{1}^{2}+\ldots+X_{n}^{2}\right)^{1 / 2}$.

  By considering decision rules (estimators) of the form $\hat{v}(X)=\alpha|X|^{2}$, prove that if $\alpha \neq 1 /(n+2)$ then the estimator $\hat{v}(X)=\alpha|X|^{2}$ is not Bayes, for any choice of prior $f_{0}$.

  By considering decision rules of the form $\hat{v}(X)=\alpha|X|^{2}+\beta$, prove that if $\alpha \neq 1 / n$ then the estimator $\hat{v}(X)=\alpha|X|^{2}$ is not Bayes, for any choice of prior $f_{0}$.

  [You may use without proof the fact that, if $Z$ has a $N(0,1)$ distribution, then $E Z^{4}=3$.]

  comment

• 4.II.27I

  #Principles of Statistics

  2005

  A group of $n$ hospitals is to be 'appraised'; the 'performance' $\theta_{i}$ of hospital $i$ has a $N(0,1 / \tau)$ prior distribution, different hospitals being independent. The 'performance' cannot be measured directly, so an expensive firm of management consultants has been hired to arrive at each hospital's Standardised Index of Quality [SIQ], this being a number $X_{i}$ for hospital $i$ related to $\theta_{i}$ by the commercially-sensitive formula

  $$X_{i}=\theta_{i}+\varepsilon_{i}$$

  where the $\varepsilon_{i}$ are independent with common $N\left(0,1 / \tau_{\varepsilon}\right)$ distribution.

  (i) Assume that $\tau$ and $\tau_{\varepsilon}$ are known. What is the posterior distribution of $\theta$ given $X$ ? Suppose that hospital $j$ was the hospital with the lowest SIQ, with a value $X_{j}=x$; conditional on $X$, what is the distribution of $\theta_{j}$ ?

  (ii) Now, instead of assuming $\tau$ and $\tau_{\varepsilon}$ known, suppose that $\tau$ has a Gamma prior with parameters $(\alpha, \beta)$, density

  $$f(t)=(\beta t)^{\alpha-1} \beta e^{-\beta t} / \Gamma(\alpha)$$

  for known $\alpha$ and $\beta$, and that $\tau_{\varepsilon}=\kappa \tau$, where $\kappa$ is a known constant. Find the posterior distribution of $(\theta, \tau)$ given $X$. Comment briefly on the form of the distribution.

  comment

• 1.II.28J

  #Stochastic Financial Models

  2005

  Let $X \equiv\left(X_{0}, X_{1}, \ldots, X_{J}\right)^{T}$ be a zero-mean Gaussian vector, with covariance matrix $V=\left(v_{j k}\right)$. In a simple single-period economy with $J$ agents, agent $i$ will receive $X_{i}$ at time $1(i=1, \ldots, J)$. If $Y$ is a contingent claim to be paid at time 1 , define agent $i$ 's reservation bid price for $Y$, assuming his preferences are given by $E\left[U_{i}\left(X_{i}+Z\right)\right]$ for any contingent claim $Z$.

  Assuming that $U_{i}(x) \equiv-\exp \left(-\gamma_{i} x\right)$ for each $i$, where $\gamma_{i}>0$, show that agent $i$ 's reservation bid price for $\lambda$ units of $X_{0}$ is

  $$p_{i}(\lambda)=-\frac{1}{2} \gamma_{i}\left(\lambda^{2} v_{00}+2 \lambda v_{0 i}\right)$$

  As $\lambda \rightarrow 0$, find the limit of agent $i$ 's per-unit reservation bid price for $X_{0}$, and comment on the expression you obtain.

  The agents bargain, and reach an equilibrium. Assuming that the contingent claim $X_{0}$ is in zero net supply, show that the equilibrium price of $X_{0}$ will be

  $$p=-\Gamma v_{0 \bullet}$$

  where $\Gamma^{-1}=\sum_{i=1}^{J} \gamma_{i}^{-1}$ and $v_{0 \bullet}=\sum_{i=1}^{J} v_{0 i}$. Show that at that price agent $i$ will choose to buy

  $$\theta_{i}=\left(\Gamma v_{0 \bullet}-\gamma_{i} v_{0 i}\right) /\left(\gamma_{i} v_{00}\right)$$

  units of $X_{0}$.

  By computing the improvement in agent $i$ 's expected utility, show that the value to agent $i$ of access to this market is equal to a fixed payment of

  $$\frac{\left(\gamma_{i} v_{0 i}-\Gamma v_{0 \bullet}\right)^{2}}{2 \gamma_{i} v_{00}}$$

  comment

• 2.II.28J

  #Stochastic Financial Models

  2005

  (i) At the beginning of year $n$, an investor makes decisions about his investment and consumption for the coming year. He first takes out an amount $c_{n}$ from his current wealth $w_{n}$, and sets this aside for consumption. He splits his remaining wealth between a bank account (unit wealth invested at the start of the year will have grown to a sure amount $r>1$ by the end of the year), and the stock market. Unit wealth invested in the stock market will have become the random amount $X_{n+1}>0$ by the end of the year.

  The investor's objective is to invest and consume so as to maximise the expected value of $\sum_{n=1}^{N} U\left(c_{n}\right)$, where $U$ is strictly increasing and strictly convex. Consider the dynamic programming equation (Bellman equation) for his problem,

  $$\begin{aligned} V_{n}(w) &=\sup _{c, \theta}\left\{U(c)+E_{n}\left[V_{n+1}\left(\theta(w-c) X_{n+1}+(1-\theta)(w-c) r\right)\right]\right\} \quad(0 \leqslant n<N), \\ V_{N}(w) &=U(w) . \end{aligned}$$

  Explain all undefined notation, and explain briefly why the equation holds.

  (ii) Supposing that the $X_{i}$ are independent and identically distributed, and that $U(x)=x^{1-R} /(1-R)$, where $R>0$ is different from 1 , find as explicitly as you can the form of the agent's optimal policy.

  (iii) Return to the general problem of (i). Assuming that the sample space $\Omega$ is finite, and that all suprema are attained, show that

  $$\begin{aligned} E_{n}\left[V_{n+1}^{\prime}\left(w_{n+1}^{*}\right)\left(X_{n+1}-r\right)\right] &=0 \\ r E_{n}\left[V_{n+1}^{\prime}\left(w_{n+1}^{*}\right)\right] &=U^{\prime}\left(c_{n}^{*}\right) \\ r E_{n}\left[V_{n+1}^{\prime}\left(w_{n+1}^{*}\right)\right] &=V_{n}^{\prime}\left(w_{n}^{*}\right) \end{aligned}$$

  where $\left(c_{n}^{*}, w_{n}^{*}\right)_{0 \leqslant n \leqslant N}$ denotes the optimal consumption and wealth process for the problem. Explain the significance of each of these equalities.

  comment

• 3.II.27J

  #Stochastic Financial Models

  2005

  Suppose that over two periods a stock price moves on a binomial tree:

  

  (a) Find an arbitrage opportunity when the riskless rate equals $1 / 10$. Give precise details of when and how much you buy, borrow and sell.

  (b) From here on, assume instead that the riskless rate equals $1 / 4$. Determine the equivalent martingale measure. [No proof is required.]

  (c) Determine the time-zero price of an American put with strike 15 and expiry 2 . Assume you sell it at this price. Which hedge do you put on at time zero? Consider the scenario of two bad periods. How does your hedge work?

  (d) The buyer of the American put turns out to be an unsophisticated investor who fails to use his early exercise right when he should. Assume the first period was bad. How much profit can you make out of this? You should detail your exact strategy.

  comment

• 4.II.28J

  #Stochastic Financial Models

  2005

  (a) In the context of the Black-Scholes formula, let $S_{0}$ be spot price, $K$ be strike price, $T$ be time to maturity, and assume constant interest rate $r$, volatility $\sigma$ and absence of dividends. Write down explicitly the prices of a European call and put,

  $$E C\left(S_{0}, K, \sigma, r, T\right) \text { and } E P\left(S_{0}, K, \sigma, r, T\right)$$

  Use $\Phi$ for the normal distribution function. [No proof is required.]

  (b) From here on assume $r=0$. Keeping $T, \sigma$ fixed, we shorten the notation to $E C\left(S_{0}, K\right)$ and similarly for $E P$. Show that put-call symmetry holds:

  $$E C\left(S_{0}, K\right)=E P\left(K, S_{0}\right)$$

  Check homogeneity: for every real $\alpha>0$

  $$E C\left(\alpha S_{0}, \alpha K\right)=\alpha E C\left(S_{0}, K\right)$$

  (c) Show that the price of a down-and-out European call with strike $K<S_{0}$ and barrier $B \leqslant K$ is given by

  $$E C\left(S_{0}, K\right)-\frac{S_{0}}{B} E C\left(\frac{B^{2}}{S_{0}}, K\right)$$

  (d)

  (i) Specialize the last expression to $B=K$ and simplify.

  (ii) Answer a popular interview question in investment banks: What is the fair value of a down-and-out call given that $S_{0}=100, B=K=80, \sigma=20 \%, r=0, T=1$ ? Identify the corresponding hedge. [It may be helpful to compute Delta first.]

  (iii) Does this hedge work beyond the Black-Scholes model? When does it fail?

  comment

• 2.II.29I

  #Optimization and Control

  2005

  Explain what is meant by a time-homogeneous discrete time Markov decision problem.

  What is the positive programming case?

  A discrete time Markov decision problem has state space $\{0,1, \ldots, N\}$. In state $i, i \neq 0, N$, two actions are possible. We may either stop and obtain a terminal reward $r(i) \geqslant 0$, or may continue, in which case the subsequent state is equally likely to be $i-1$ or $i+1$. In states 0 and $N$ stopping is automatic (with terminal rewards $r(0)$ and $r(N)$ respectively). Starting in state $i$, denote by $V_{n}(i)$ and $V(i)$ the maximal expected terminal reward that can be obtained over the first $n$ steps and over the infinite horizon, respectively. Prove that $\lim _{n \rightarrow \infty} V_{n}=V$.

  Prove that $V$ is the smallest concave function such that $V(i) \geqslant r(i)$ for all $i$.

  Describe an optimal policy.

  Suppose $r(0), \ldots, r(N)$ are distinct numbers. Show that the optimal policy is unique, or give a counter-example.

  comment

• 3.II.28I

  #Optimization and Control

  2005

  Consider the problem

  $$\operatorname{minimize} E\left[x(T)^{2}+\int_{0}^{T} u(t)^{2} d t\right]$$

  where for $0 \leqslant t \leqslant T$,

  $$\dot{x}(t)=y(t) \text { and } \quad \dot{y}(t)=u(t)+\epsilon(t),$$

  $u(t)$ is the control variable, and $\epsilon(t)$ is Gaussian white noise. Show that the problem can be rewritten as one of controlling the scalar variable $z(t)$, where

  $$z(t)=x(t)+(T-t) y(t) .$$

  By guessing the form of the optimal value function and ensuring it satisfies an appropriate optimality equation, show that the optimal control is

  $$u(t)=-\frac{(T-t) z(t)}{1+\frac{1}{3}(T-t)^{3}} .$$

  Is this certainty equivalence control?

  comment

• 4.II.29I

  #Optimization and Control

  2005

  A continuous-time control problem is defined in terms of state variable $x(t) \in \mathbb{R}^{n}$ and control $u(t) \in \mathbb{R}^{m}, 0 \leqslant t \leqslant T$. We desire to minimize $\int_{0}^{T} c(x, t) d t+K(x(T))$, where $T$ is fixed and $x(T)$ is unconstrained. Given $x(0)$ and $\dot{x}=a(x, u)$, describe further boundary conditions that can be used in conjunction with Pontryagin's maximum principle to find $x, u$ and the adjoint variables $\lambda_{1}, \ldots, \lambda_{n}$.

  Company 1 wishes to steal customers from Company 2 and maximize the profit it obtains over an interval $[0, T]$. Denoting by $x_{i}(t)$ the number of customers of Company $i$, and by $u(t)$ the advertising effort of Company 1 , this leads to a problem

  $$\operatorname{minimize} \int_{0}^{T}\left[x_{2}(t)+3 u(t)\right] d t$$

  where $\dot{x}_{1}=u x_{2}, \dot{x}_{2}=-u x_{2}$, and $u(t)$ is constrained to the interval $[0,1]$. Assuming $x_{2}(0)>3 / T$, use Pontryagin's maximum principle to show that the optimal advertising policy is bang-bang, and that there is just one change in advertising effort, at a time $t^{*}$, where

  $$3 e^{t^{*}}=x_{2}(0)\left(T-t^{*}\right) .$$

  comment

• 1.II.29C

  #Partial Differential Equations

  2005

  Consider the equation

  $$x_{2} \frac{\partial u}{\partial x_{1}}-x_{1} \frac{\partial u}{\partial x_{2}}+a \frac{\partial u}{\partial x_{3}}=u,$$

  where $a \in \mathbb{R}$, to be solved for $u=u\left(x_{1}, x_{2}, x_{3}\right)$. State clearly what it means for a hypersurface

  $$S_{\phi}=\left\{\left(x_{1}, x_{2}, x_{3}\right): \phi\left(x_{1}, x_{2}, x_{3}\right)=0\right\},$$

  defined by a $C^{1}$ function $\phi$, to be non-characteristic for $(*)$. Does the non-characteristic condition hold when $\phi\left(x_{1}, x_{2}, x_{3}\right)=x_{3}$ ?

  Solve $(*)$ for $a>0$ with initial condition $u\left(x_{1}, x_{2}, 0\right)=f\left(x_{1}, x_{2}\right)$ where $f \in C^{1}\left(\mathbb{R}^{2}\right)$. For the case $f\left(x_{1}, x_{2}\right)=x_{1}^{2}+x_{2}^{2}$ discuss the limiting behaviour as $a \rightarrow 0_{+}$.

  comment

• 2.II.30C

  #Partial Differential Equations

  2005

  Define a fundamental solution of a linear partial differential operator $P$. Prove that the function

  $$G(x)=\frac{1}{2} e^{-|x|}$$

  defines a distribution which is a fundamental solution of the operator $P$ given by

  $$P u=-\frac{d^{2} u}{d x^{2}}+u .$$

  Hence find a solution $u_{0}$ to the equation

  $$-\frac{d^{2} u_{0}}{d x^{2}}+u_{0}=V(x),$$

  where $V(x)=0$ for $|x|>1$ and $V(x)=1$ for $|x| \leqslant 1$.

  Consider the functional

  $$I[u]=\int_{\mathbb{R}}\left\{\frac{1}{2}\left[\left(\frac{d u}{d x}\right)^{2}+u^{2}\right]-V u\right\} d x .$$

  Show that $I\left[u_{0}+\phi\right]>I\left[u_{0}\right]$ for all Schwartz functions $\phi$ that are not identically zero.

  comment

• 3.II.29C

  #Partial Differential Equations

  2005

  Write down a formula for the solution $u=u(t, x)$ of the $n$-dimensional heat equation

  $$w_{t}(t, x)-\Delta w=0, \quad w(0, x)=g(x),$$

  for $g: \mathbb{R}^{n} \rightarrow \mathbb{C}$ a given Schwartz function; here $w_{t}=\partial_{t} w$ and $\Delta$ is taken in the variables $x \in \mathbb{R}^{n}$. Show that

  $$w(t, x) \leqslant \frac{\int|g(x)| d x}{(4 \pi t)^{n / 2}}$$

  Consider the equation

  $$u_{t}-\Delta u=e^{i t} f(x),$$

  where $f: \mathbb{R}^{n} \rightarrow \mathbb{C}$ is a given Schwartz function. Show that $(*)$ has a solution of the form

  $$u(t, x)=e^{i t} v(x),$$

  where $v$ is a Schwartz function.

  Prove that the solution $u(t, x)$ of the initial value problem for $(*)$ with initial data $u(0, x)=g(x)$ satisfies

  $$\lim _{t \rightarrow+\infty}\left|u(t, x)-e^{i t} v(x)\right|=0 .$$

  comment

• 4.II.30C

  #Partial Differential Equations

  2005

  Write down the solution of the three-dimensional wave equation

  $$u_{t t}-\Delta u=0, \quad u(0, x)=0, \quad u_{t}(0, x)=g(x),$$

  for a Schwartz function $g$. Here $\Delta$ is taken in the variables $x \in \mathbb{R}^{3}$ and $u_{t}=\partial u / \partial t$ etc. State the "strong" form of Huygens principle for this solution. Using the method of descent, obtain the solution of the corresponding problem in two dimensions. State the "weak" form of Huygens principle for this solution.

  Let $u \in C^{2}\left([0, T] \times \mathbb{R}^{3}\right)$ be a solution of

  $$u_{t t}-\Delta u+|x|^{2} u=0, \quad u(0, x)=0, \quad u_{t}(0, x)=0$$

  Show that

  $$\partial_{t} e+\nabla \cdot \mathbf{p}=0$$

  where

  $$e=\frac{1}{2}\left(u_{t}^{2}+|\nabla u|^{2}+|x|^{2} u^{2}\right), \quad \text { and } \quad \mathbf{p}=-u_{t} \nabla u .$$

  Hence deduce, by integration of $(* *)$ over the region

  $$K=\left\{(t, x): 0 \leqslant t \leqslant t_{0}-a \leqslant t_{0},\left|x-x_{0}\right| \leqslant t_{0}-t\right\}$$

  or otherwise, that $(*)$ satisfies the weak Huygens principle.

  comment

• 1.II $. 30 \mathrm{~A}$

  #Asymptotic Methods

  2005

  Explain what is meant by an asymptotic power series about $x=a$ for a real function $f(x)$ of a real variable. Show that a convergent power series is also asymptotic.

  Show further that an asymptotic power series is unique (assuming that it exists).

  Let the function $f(t)$ be defined for $t \geqslant 0$ by

  $$f(t)=\frac{1}{\pi^{1 / 2}} \int_{0}^{\infty} \frac{e^{-x}}{x^{1 / 2}(1+2 x t)} d x$$

  By suitably expanding the denominator of the integrand, or otherwise, show that, as $t \rightarrow 0_{+}$,

  $$f(t) \sim \sum_{k=0}^{\infty}(-1)^{k} 1.3 \ldots(2 k-1) t^{k}$$

  and that the error, when the series is stopped after $n$ terms, does not exceed the absolute value of the $(n+1)$ th term of the series.

  comment

• 3.II $. 30$

  #Asymptotic Methods

  2005

  Explain, without proof, how to obtain an asymptotic expansion, as $x \rightarrow \infty$, of

  $$I(x)=\int_{0}^{\infty} e^{-x t} f(t) d t$$

  if it is known that $f(t)$ possesses an asymptotic power series as $t \rightarrow 0$.

  Indicate the modification required to obtain an asymptotic expansion, under suitable conditions, of

  $$\int_{-\infty}^{\infty} e^{-x t^{2}} f(t) d t$$

  Find an asymptotic expansion as $z \rightarrow \infty$ of the function defined by

  $$I(z)=\int_{-\infty}^{\infty} \frac{e^{-t^{2}}}{(z-t)} d t \quad(\operatorname{Im}(z)<0)$$

  and its analytic continuation to $\operatorname{Im}(z) \geqslant 0$. Where are the Stokes lines, that is, the critical lines separating the Stokes regions?

  comment

• 4.II $. 31 \mathrm{~A}$

  #Asymptotic Methods

  2005

  Consider the differential equation

  $$\frac{d^{2} w}{d x^{2}}=q(x) w$$

  where $q(x) \geqslant 0$ in an interval $(a, \infty)$. Given a solution $w(x)$ and a further smooth function $\xi(x)$, define

  $$W(x)=\left[\xi^{\prime}(x)\right]^{1 / 2} w(x) .$$

  Show that, when $\xi$ is regarded as the independent variable, the function $W(\xi)$ obeys the differential equation

  $$\frac{d^{2} W}{d \xi^{2}}=\left\{\dot{x}^{2} q(x)+\dot{x}^{1 / 2} \frac{d^{2}}{d \xi^{2}}\left[\dot{x}^{-1 / 2}\right]\right\} W$$

  where $\dot{x}$ denotes $d x / d \xi$.

  Taking the choice

  $$\xi(x)=\int q^{1 / 2}(x) d x$$

  show that equation $(*)$ becomes

  $$\frac{d^{2} W}{d \xi^{2}}=(1+\phi) W$$

  where

  $$\phi=-\frac{1}{q^{3 / 4}} \frac{d^{2}}{d x^{2}}\left(\frac{1}{q^{1 / 4}}\right)$$

  In the case that $\phi$ is negligible, deduce the Liouville-Green approximate solutions

  $$w_{\pm}=q^{-1 / 4} \exp \left(\pm \int q^{1 / 2} d x\right)$$

  Consider the Whittaker equation

  $$\frac{d^{2} w}{d x^{2}}=\left[\frac{1}{4}+\frac{s(s-1)}{x^{2}}\right] w$$

  where $s$ is a real constant. Show that the Liouville-Green approximation suggests the existence of solutions $w_{A, B}(x)$ with asymptotic behaviour of the form

  $$w_{A} \sim \exp (x / 2)\left(1+\sum_{n=1}^{\infty} a_{n} x^{-n}\right), \quad w_{B} \sim \exp (-x / 2)\left(1+\sum_{n=1}^{\infty} b_{n} x^{-n}\right)$$

  as $x \rightarrow \infty$.

  Given that these asymptotic series may be differentiated term-by-term, show that

  $$a_{n}=\frac{(-1)^{n}}{n !}(s-n)(s-n+1) \ldots(s+n-1) \text {. }$$

  comment

• 1.II.31D

  #Integrable Systems

  2005

  Let $\phi(t)$ satisfy the linear singular integral equation

  $$\left(t^{2}+t-1\right) \phi(t)-\frac{t^{2}-t-1}{\pi i} \oint_{L} \frac{\phi(\tau) d \tau}{\tau-t}-\frac{1}{\pi i} \int_{L}\left(\tau+\frac{1}{\tau}\right) \phi(\tau) d \tau=t-1, \quad t \in L,$$

  where $\oint$ denotes the principal value integral and $L$ denotes a counterclockwise smooth closed contour, enclosing the origin but not the points $\pm 1$.

  (a) Formulate the associated Riemann-Hilbert problem.

  (b) For this Riemann-Hilbert problem, find the index, the homogeneous canonical solution and the solvability condition.

  (c) Find $\phi(t)$.

  comment

• 2.II.31C

  #Integrable Systems

  2005

  Suppose $q(x, t)$ satisfies the $m K d V$ equation

  $$q_{t}+q_{x x x}+6 q^{2} q_{x}=0$$

  where $q_{t}=\partial q / \partial t$ etc.

  (a) Find the 1-soliton solution.

  [You may use, without proof, the indefinite integral $\int \frac{d x}{x \sqrt{1-x^{2}}}=-\operatorname{arcsech} x$.]

  (b) Express the self-similar solution of the $\mathrm{KKdV}$ equation in terms of a solution, denoted by $v(z)$, of the Painlevé II equation.

  (c) Using the Ansatz

  $$\frac{d v}{d z}+i v^{2}-\frac{i}{6} z=0$$

  find a particular solution of the mKdV equation in terms of a solution of the Airy equation

  $$\frac{d^{2} \Psi}{d z^{2}}+\frac{z}{6} \Psi=0$$

  comment

• 3.II.31A

  #Integrable Systems

  2005

  Let $Q(x, t)$ be an off-diagonal $2 \times 2$ matrix. The matrix NLS equation

  $$i Q_{t}-Q_{x x} \sigma_{3}+2 Q^{3} \sigma_{3}=0, \quad \sigma_{3}=\operatorname{diag}(1,-1),$$

  admits the Lax pair

  $$\begin{aligned} &\mu_{x}+i k\left[\sigma_{3}, \mu\right]=Q \mu \\ &\mu_{t}+2 i k^{2}\left[\sigma_{3}, \mu\right]=\left(2 k Q-i Q^{2} \sigma_{3}-i Q_{x} \sigma_{3}\right) \mu \end{aligned}$$

  where $k \in \mathbb{C}, \mu(x, t, k)$ is a $2 \times 2$ matrix and $\left[\sigma_{3}, \mu\right]$ denotes the matrix commutator.

  Let $S(k)$ be a $2 \times 2$ matrix-valued function decaying as $|k| \rightarrow \infty$. Let $\mu(x, t, k)$ satisfy the $2 \times 2$-matrix Riemann-Hilbert problem

  $$\begin{gathered} \mu^{+}(x, t, k)=\mu^{-}(x, t, k) e^{-i\left(k x+2 k^{2} t\right) \sigma_{3}} S(k) e^{i\left(k x+2 k^{2} t\right) \sigma_{3}}, \quad k \in \mathbb{R} \\ \mu=\operatorname{diag}(1,1)+\mathrm{O}\left(\frac{1}{k}\right), \quad k \rightarrow \infty \end{gathered}$$

  (a) Find expressions for $Q(x, t), A(x, t)$ and $B(x, t)$, in terms of the coefficients in the large $k$ expansion of $\mu$, so that $\mu$ solves

  $$\mu_{x}+i k\left[\sigma_{3}, \mu\right]-Q \mu=0$$

  and

  $$\mu_{t}+2 i k^{2}\left[\sigma_{3}, \mu\right]-(k A+B) \mu=0$$

  (b) Use the result of (a) to establish that

  $$A=2 Q, \quad B=-i\left(Q^{2}+Q_{x}\right) \sigma_{3}$$

  (c) Show that the above results provide a linearization of the matrix NLS equation. What is the disadvantage of this approach in comparison with the inverse scattering method?

  comment

• 1.II.32D

  #Principles of Quantum Mechanics

  2005

  A one-dimensional harmonic oscillator has Hamiltonian

  $$H=\frac{1}{2 m} \hat{p}^{2}+\frac{1}{2} m \omega^{2} \hat{x}^{2}=\hbar \omega\left(a^{\dagger} a+\frac{1}{2}\right),$$

  where

  $$a=\left(\frac{m \omega}{2 \hbar}\right)^{1 / 2}\left(\hat{x}+\frac{i}{m \omega} \hat{p}\right), \quad a^{\dagger}=\left(\frac{m \omega}{2 \hbar}\right)^{1 / 2}\left(\hat{x}-\frac{i}{m \omega} \hat{p}\right) \quad \text { obey } \quad\left[a, a^{\dagger}\right]=1$$

  Assuming the existence of a normalised state $|0\rangle$ with $a|0\rangle=0$, verify that

  $$|n\rangle=\frac{1}{\sqrt{n !}} a^{\dagger n}|0\rangle, \quad n=0,1,2, \ldots$$

  are eigenstates of $H$ with energies $E_{n}$, to be determined, and that these states all have unit norm.

  The Hamiltonian is now modified by a term

  $$\lambda V=\lambda \hbar \omega\left(a^{r}+a^{\dagger r}\right)$$

  where $r$ is a positive integer. Use perturbation theory to find the change in the lowest energy level to order $\lambda^{2}$ for any $r$. [You may quote any standard formula you need.]

  Compute by perturbation theory, again to order $\lambda^{2}$, the change in the first excited energy level when $r=1$. Show that in this special case, $r=1$, the exact change in all energy levels as a result of the perturbation is $-\lambda^{2} \hbar \omega$.

  comment

• 2.II.32D

  #Principles of Quantum Mechanics

  2005

  The components of $\boldsymbol{\sigma}=\left(\sigma_{1}, \sigma_{2}, \sigma_{3}\right)$ are $2 \times 2$ hermitian matrices obeying

  $$\left[\sigma_{i}, \sigma_{j}\right]=2 i \varepsilon_{i j k} \sigma_{k} \quad \text { and } \quad(\mathbf{n} \cdot \boldsymbol{\sigma})^{2}=1$$

  for any unit vector $\mathbf{n}$. Show that these properties imply

  $$(\mathbf{a} \cdot \boldsymbol{\sigma})(\mathbf{b} \cdot \boldsymbol{\sigma})=\mathbf{a} \cdot \mathbf{b}+i(\mathbf{a} \times \mathbf{b}) \cdot \boldsymbol{\sigma}$$

  for any constant vectors a and $\mathbf{b}$. Assuming that $\theta$ is real, explain why the matrix $U=\exp (-i \mathbf{n} \cdot \boldsymbol{\sigma} \theta / 2)$ is unitary, and show that

  $$U=\cos (\theta / 2)-i \mathbf{n} \cdot \boldsymbol{\sigma} \sin (\theta / 2)$$

  Hence deduce that

  $$U \mathbf{m} \cdot \boldsymbol{\sigma} U^{-1}=\mathbf{m} \cdot \boldsymbol{\sigma} \cos \theta+(\mathbf{n} \times \mathbf{m}) \cdot \boldsymbol{\sigma} \sin \theta$$

  where $\mathbf{m}$ is any unit vector orthogonal to $\mathbf{n}$.

  Write down an equation relating the matrices $\sigma$ and the angular momentum operator $\mathbf{S}$ for a particle of spin one half, and explain briefly the significance of the conditions $(*)$. Show that if $|\chi\rangle$ is a state with spin 'up' measured along the direction $(0,0,1)$ then, for a certain choice of $\mathbf{n}, U|\chi\rangle$ is a state with spin 'up' measured along the direction $(\sin \theta, 0, \cos \theta)$.

  comment

• 3.II.32D

  #Principles of Quantum Mechanics

  2005

  The angular momentum operators $\mathbf{J}^{(1)}$ and $\mathbf{J}^{(2)}$ refer to independent systems, each with total angular momentum one. The combination of these systems has a basis of states which are of product form $\left|m_{1} ; m_{2}\right\rangle=\left|1 m_{1}\right\rangle\left|1 m_{2}\right\rangle$ where $m_{1}$ and $m_{2}$ are the eigenvalues of $J_{3}^{(1)}$ and $J_{3}^{(2)}$ respectively. Let $|J M\rangle$ denote the alternative basis states which are simultaneous eigenstates of $\mathbf{J}^{2}$ and $J_{3}$, where $\mathbf{J}=\mathbf{J}^{(1)}+\mathbf{J}^{(2)}$ is the combined angular momentum. What are the possible values of $J$ and $M$ ? Find expressions for all states with $J=1$ in terms of product states. How do these states behave when the constituent systems are interchanged?

  Two spin-one particles $A$ and $B$ have no mutual interaction but they each move in a potential $V(\mathbf{r})$ which is independent of spin. The single-particle energy levels $E_{i}$ and the corresponding wavefunctions $\psi_{i}(\mathbf{r})(i=1,2, \ldots)$ are the same for either $A$ or $B$. Given that $E_{1}<E_{2}<\ldots$, explain how to construct the two-particle states of lowest energy and combined total spin $J=1$ for the cases that (i) $A$ and $B$ are identical, and (ii) $A$ and $B$ are not identical.

  [You may assume $\hbar=1$ and use the result $\left.J_{\pm}|j m\rangle=\sqrt{(j \mp m)(j \pm m+1)}|j m \pm 1\rangle .\right]$

  comment

• 4.II.32D

  #Principles of Quantum Mechanics

  2005

  The Hamiltonian for a quantum system in the Schrödinger picture is

  $$H_{0}+\lambda V(t),$$

  where $H_{0}$ is independent of time and the parameter $\lambda$ is small. Define the interaction picture corresponding to this Hamiltonian and derive a time evolution equation for interaction picture states.

  Let $|a\rangle$ and $|b\rangle$ be eigenstates of $H_{0}$ with distinct eigenvalues $E_{a}$ and $E_{b}$ respectively. Show that if the system is initially in state $|a\rangle$ then the probability of measuring it to be in state $|b\rangle$ after a time $t$ is

  $$\frac{\lambda^{2}}{\hbar^{2}}\left|\int_{0}^{t} d t^{\prime}\left\langle b\left|V\left(t^{\prime}\right)\right| a\right\rangle e^{i\left(E_{b}-E_{a}\right) t^{\prime} / \hbar}\right|^{2}+O\left(\lambda^{3}\right)$$

  Deduce that if $V(t)=e^{-\mu t / \hbar} W$, where $W$ is a time-independent operator and $\mu$ is a positive constant, then the probability for such a transition to have occurred after a very long time is approximately

  $$\frac{\lambda^{2}}{\mu^{2}+\left(E_{b}-E_{a}\right)^{2}}|\langle b|W| a\rangle|^{2}$$

  comment

• 1.II.33B

  #Applications of Quantum Mechanics

  2005

  A beam of particles is incident on a central potential $V(r)(r=|\mathbf{x}|)$ that vanishes for $r>R$. Define the differential cross-section $d \sigma / d \Omega$.

  Given that each incoming particle has momentum $\hbar \mathbf{k}$, explain the relevance of solutions to the time-independent Schrödinger equation with the asymptotic form

  $$\psi(\mathbf{x}) \sim e^{i \mathbf{k} \cdot \mathbf{x}}+f(\hat{\mathbf{x}}) \frac{e^{i k r}}{r}$$

  as $r \rightarrow \infty$, where $k=|\mathbf{k}|$ and $\hat{\mathbf{x}}=\mathbf{x} / r$. Write down a formula that determines $d \sigma / d \Omega$ in this case.

  Write down the time-independent Schrödinger equation for a particle of mass $m$ and energy $E=\frac{\hbar^{2} k^{2}}{2 m}$ in a central potential $V(r)$, and show that it allows a solution of the form

  $$\psi(\mathbf{x})=e^{i \mathbf{k} \cdot \mathbf{x}}-\frac{m}{2 \pi \hbar^{2}} \int d^{3} x^{\prime} \frac{e^{i k\left|\mathbf{x}-\mathbf{x}^{\prime}\right|}}{\left|\mathbf{x}-\mathbf{x}^{\prime}\right|} V\left(r^{\prime}\right) \psi\left(\mathbf{x}^{\prime}\right) .$$

  Show that this is consistent with $(*)$ and deduce an expression for $f(\hat{\mathbf{x}})$. Obtain the Born approximation for $f(\hat{\mathbf{x}})$, and show that $f(\hat{\mathbf{x}})=F(k \hat{\mathbf{x}}-\mathbf{k})$, where

  $$F(\mathbf{q})=-\frac{m}{2 \pi \hbar^{2}} \int d^{3} x e^{-i \mathbf{q} \cdot \mathbf{x}} V(r)$$

  Under what conditions is the Born approximation valid?

  Obtain a formula for $f(\hat{\mathbf{x}})$ in terms of the scattering angle $\theta$ in the case that

  $$V(r)=K \frac{e^{-\mu r}}{r},$$

  for constants $K$ and $\mu$. Hence show that $f(\hat{\mathbf{x}})$ is independent of $\hbar$ in the limit $\mu \rightarrow 0$, when expressed in terms of $\theta$ and the energy $E$.

  [You may assume that $\left.\left(\nabla^{2}+k^{2}\right)\left(\frac{e^{i k r}}{r}\right)=-4 \pi \delta^{3}(\mathbf{x}) .\right]$

  comment

• 2.II.33B

  #Applications of Quantum Mechanics

  2005

  Describe briefly the variational approach to the determination of an approximate ground state energy $E_{0}$ of a Hamiltonian $H$.

  Let $\left|\psi_{1}\right\rangle$ and $\left|\psi_{2}\right\rangle$ be two states, and consider the trial state

  $$|\psi\rangle=a_{1}\left|\psi_{1}\right\rangle+a_{2}\left|\psi_{2}\right\rangle$$

  for real constants $a_{1}$ and $a_{2}$. Given that

  $$\begin{aligned} \left\langle\psi_{1} \mid \psi_{1}\right\rangle &=\left\langle\psi_{2} \mid \psi_{2}\right\rangle=1, &\left\langle\psi_{2} \mid \psi_{1}\right\rangle=\left\langle\psi_{1} \mid \psi_{2}\right\rangle=s, \\ \left\langle\psi_{1}|H| \psi_{1}\right\rangle &=\left\langle\psi_{2}|H| \psi_{2}\right\rangle=\mathcal{E}, &\left\langle\psi_{2}|H| \psi_{1}\right\rangle=\left\langle\psi_{1}|H| \psi_{2}\right\rangle=\epsilon, \end{aligned}$$

  and that $\epsilon<s \mathcal{E}$, obtain an upper bound on $E_{0}$ in terms of $\mathcal{E}, \epsilon$ and $s$.

  The normalized ground-state wavefunction of the Hamiltonian

  $$H_{1}=\frac{p^{2}}{2 m}-K \delta(x), \quad K>0,$$

  $$\psi_{1}(x)=\sqrt{\lambda} e^{-\lambda|x|}, \quad \lambda=\frac{m K}{\hbar^{2}} .$$

  Verify that the ground state energy of $H_{1}$ is

  $$E_{B} \equiv\left\langle\psi_{1}|H| \psi_{1}\right\rangle=-\frac{1}{2} K \lambda .$$

  Now consider the Hamiltonian

  $$H=\frac{p^{2}}{2 m}-K \delta(x)-K \delta(x-R)$$

  and let $E_{0}(R)$ be its ground-state energy as a function of $R$. Assuming that

  $$\psi_{2}(x)=\sqrt{\lambda} e^{-\lambda|x-R|},$$

  use $(*)$ to compute $s, \mathcal{E}$ and $\epsilon$ for $\psi_{1}$ and $\psi_{2}$ as given. Hence show that

  $$E_{0}(R) \leqslant E_{B}\left[1+2 \frac{e^{-\lambda R}\left(1+e^{-\lambda R}\right)}{1+(1+\lambda R) e^{-\lambda R}}\right]$$

  Why should you expect this inequality to become an approximate equality for sufficiently large $R$ ? Describe briefly how this is relevant to molecular binding.

  comment

• 3.II.33B

  #Applications of Quantum Mechanics

  2005

  Let $\{\mathbf{l}\}$ be the set of lattice vectors of some lattice. Define the reciprocal lattice. What is meant by a Bravais lattice?

  Let $\mathbf{i}, \mathbf{j}, \mathbf{k}$ be mutually orthogonal unit vectors. A crystal has identical atoms at positions given by the vectors

  $$\begin{array}{ll} a\left[n_{1} \mathbf{i}+n_{2} \mathbf{j}+n_{3} \mathbf{k}\right], & a\left[\left(n_{1}+\frac{1}{2}\right) \mathbf{i}+\left(n_{2}+\frac{1}{2}\right) \mathbf{j}+n_{3} \mathbf{k}\right] \\ a\left[\left(n_{1}+\frac{1}{2}\right) \mathbf{i}+\mathbf{j}+\left(n_{3}+\frac{1}{2}\right) \mathbf{k}\right], & a\left[n_{1} \mathbf{i}+\left(n_{2}+\frac{1}{2}\right) \mathbf{j}+\left(n_{3}+\frac{1}{2}\right) \mathbf{k}\right] \end{array}$$

  where $\left(n_{1}, n_{2}, n_{3}\right)$ are arbitrary integers and $a$ is a constant. Show that these vectors define a Bravais lattice with basis vectors

  $$\mathbf{a}_{1}=a \frac{1}{2}(\mathbf{j}+\mathbf{k}), \quad \mathbf{a}_{2}=a \frac{1}{2}(\mathbf{i}+\mathbf{k}), \quad \mathbf{a}_{3}=a \frac{1}{2}(\mathbf{i}+\mathbf{j})$$

  Verify that a basis for the reciprocal lattice is

  $$\mathbf{b}_{1}=\frac{2 \pi}{a}(\mathbf{j}+\mathbf{k}-\mathbf{i}), \quad \mathbf{b}_{2}=\frac{2 \pi}{a}(\mathbf{i}+\mathbf{k}-\mathbf{j}), \quad \mathbf{b}_{3}=\frac{2 \pi}{a}(\mathbf{i}+\mathbf{j}-\mathbf{k})$$

  In Bragg scattering, an incoming plane wave of wave-vector $\mathbf{k}$ is scattered to an outgoing wave of wave-vector $\mathbf{k}^{\prime}$. Explain why $\mathbf{k}^{\prime}=\mathbf{k}+\mathbf{g}$ for some reciprocal lattice vector g. Given that $\theta$ is the scattering angle, show that

  $$\sin \frac{1}{2} \theta=\frac{|\mathbf{g}|}{2|\mathbf{k}|} .$$

  For the above lattice, explain why you would expect scattering through angles $\theta_{1}$ and $\theta_{2}$ such that

  $$\frac{\sin \frac{1}{2} \theta_{1}}{\sin \frac{1}{2} \theta_{2}}=\frac{\sqrt{3}}{2}$$

  comment

• 4.II.33B

  #Applications of Quantum Mechanics

  2005

  A semiconductor has a valence energy band with energies $E \leqslant 0$ and density of states $g_{v}(E)$, and a conduction energy band with energies $E \geqslant E_{g}$ and density of states $g_{c}(E)$. Assume that $g_{v}(E) \sim A_{v}(-E)^{\frac{1}{2}}$ as $E \rightarrow 0$, and that $g_{c}(E) \sim A_{c}\left(E-E_{g}\right)^{\frac{1}{2}}$ as $E \rightarrow E_{g}$. At zero temperature all states in the valence band are occupied and the conduction band is empty. Let $p$ be the number of holes in the valence band and $n$ the number of electrons in the conduction band at temperature $T$. Under suitable approximations derive the result

  $$p n=N_{v} N_{c} e^{-E_{g} / k T}$$

  where

  $$N_{v}=\frac{1}{2} \sqrt{\pi} A_{v}(k T)^{\frac{3}{2}}, \quad N_{c}=\frac{1}{2} \sqrt{\pi} A_{c}(k T)^{\frac{3}{2}} .$$

  Briefly describe how a semiconductor may conduct electricity but with a conductivity that is strongly temperature dependent.

  Describe how doping of the semiconductor leads to $p \neq n$. A $p n$ junction is formed between an $n$-type semiconductor, with $N_{d}$ donor atoms, and a $p$-type semiconductor, with $N_{a}$ acceptor atoms. Show that there is a potential difference $V_{n p}=\Delta E /|e|$ across the junction, where $e$ is the electron charge, and

  $$\Delta E=E_{g}-k T \ln \frac{N_{v} N_{c}}{N_{d} N_{a}} .$$

  Two semiconductors, one $p$-type and one $n$-type, are joined to make a closed circuit with two $p n$ junctions. Explain why a current will flow around the circuit if the junctions are at different temperatures.

  [The Fermi-Dirac distribution function at temperature $T$ and chemical potential $\mu$ is $\frac{g(E)}{e^{(E-\mu) / k T}+1}$, where $g(E)$ is the number of states with energy $E$.

  Note that $\int_{0}^{\infty} x^{\frac{1}{2}} e^{-x} d x=\frac{1}{2} \sqrt{\pi}$.]

  comment

• 2.II.34D

  #Statistical Physics

  2005

  Write down the first law of thermodynamics in differential form applied to an infinitesimal reversible change.

  Explain what is meant by an adiabatic change.

  Starting with the first law in differential form, derive the Maxwell relation

  $$\left(\frac{\partial S}{\partial V}\right)_{T}=\left(\frac{\partial P}{\partial T}\right)_{V}$$

  Hence show that

  $$\left(\frac{\partial E}{\partial V}\right)_{T}=T\left(\frac{\partial P}{\partial T}\right)_{V}-P$$

  For radiation in thermal equilibrium at temperature $T$ in volume $V$, it is given that $E=V e(T)$ and $P=e(T) / 3$. Hence deduce Stefan's Law,

  $$E=a V T^{4}$$

  where $a$ is a constant.

  The radiation is allowed to expand adiabatically. Show that $V T^{3}$ is constant during the expansion.

  comment

• 3.II.34D

  #Statistical Physics

  2005

  A free spinless particle moving in two dimensions is confined to a square box of side $L$. By imposing periodic boundary conditions show that the number of states in the energy range $\epsilon \rightarrow \epsilon+d \epsilon$ is $g(\epsilon) d \epsilon$, where

  $$g(\epsilon)=\frac{m L^{2}}{2 \pi \hbar^{2}}$$

  If, instead, the particle is an electron with magnetic moment $\mu$ moving in a constant external magnetic field $H$, show that

  $$g(\epsilon)= \begin{cases}\frac{m L^{2}}{2 \pi \hbar^{2}}, & -\mu H<\epsilon<\mu H \\ \frac{m L^{2}}{\pi \hbar^{2}}, & \mu H<\epsilon\end{cases}$$

  Let there be $N$ electrons in the box. Explain briefly how to construct the ground state of the system. Let $\epsilon$ be the Fermi energy. Show that when $\epsilon>\mu H$

  $$N=\frac{m L^{2}}{\pi \hbar^{2}} \epsilon .$$

  Show also that the magnetic moment $M$ of the system in its ground state is given by

  $$M=\frac{\mu^{2} m L^{2}}{\pi \hbar^{2}} H$$

  and that the ground state energy is

  $$\frac{1}{2} \frac{\pi \hbar^{2}}{m L^{2}} N^{2}-\frac{1}{2} M H$$

  comment

• 4.II.34D

  #Statistical Physics

  2005

  Write down an expression for the partition function of a classical particle of mass $m$ moving in three dimensions in a potential $U(\mathbf{x})$ and in equilibrium with a heat bath at temperature $T$.

  A system of $N$ non-interacting classical particles is placed in the potential

  $$U(\mathbf{x})=\frac{\left(x^{2}+y^{2}+z^{2}\right)^{n}}{V^{2 n / 3}}$$

  where $n$ is a positive integer. The gas is in equilibrium at temperature $T$. Using a suitable rescaling of variables, show that the free energy $F$ is given by

  $$\frac{F}{N}=-k T\left(\log V+\frac{3}{2} \frac{n+1}{n} \log k T+\log I_{n}\right)$$

  where

  $$I_{n}=\left(\frac{2 m \pi}{h^{2}}\right)^{3 / 2} \int_{0}^{\infty} 4 \pi u^{2} e^{-u^{2 n}} d u$$

  Regarding $V$ as an external parameter, find the thermodynamic force $P$, conjugate to $V$, exerted by this system. Find the equation of state and compare with that of an ideal gas confined in a volume $V$.

  Derive expressions for the entropy $S$, the internal energy $E$ and the total heat capacity $C_{V}$ at constant $V$.

  Show that for all $n$ the total heat capacity at constant $P$ is given by

  $$C_{P}=C_{V}+N k$$

  [Note that $\left.\int_{0}^{\infty} u^{2} e^{-u^{2} / 2} d u=\sqrt{\frac{\pi}{2}} .\right]$

  comment

• 1.II $. 34 \mathrm{~B} \quad$

  #Electrodynamics

  2005

  In a frame $\mathcal{F}$ the electromagnetic fields $(\mathbf{E}, \mathbf{B})$ are encoded into the Maxwell field 4-tensor $F^{a b}$ and its dual ${ }^{*} F^{a b}$, where

  $$F^{a b}=\left(\begin{array}{cccc} 0 & -E_{x} & -E_{y} & -E_{z} \\ E_{x} & 0 & -B_{z} & B_{y} \\ E_{y} & B_{z} & 0 & -B_{x} \\ E_{z} & -B_{y} & B_{x} & 0 \end{array}\right)$$

  and

  $${ }^{*} F^{a b}=\left(\begin{array}{cccc} 0 & -B_{x} & -B_{y} & -B_{z} \\ B_{x} & 0 & E_{z} & -E_{y} \\ B_{y} & -E_{z} & 0 & E_{x} \\ B_{z} & E_{y} & -E_{x} & 0 \end{array}\right)$$

  [Here the signature is $(+---)$ and units are chosen so that $c=1$.] Obtain two independent Lorentz scalars of the electromagnetic field in terms of $\mathbf{E}$ and $\mathbf{B}$.

  Suppose that $\mathbf{E} \cdot \mathbf{B}>0$ in the frame $\mathcal{F}$. Given that there exists a frame $\mathcal{F}^{\prime}$ in which $\mathbf{E}^{\prime} \times \mathbf{B}^{\prime}=\mathbf{0}$, show that

  $$E^{\prime}=\left[(\mathbf{E} \cdot \mathbf{B})\left(K+\sqrt{1+K^{2}}\right)\right]^{1 / 2}, \quad B^{\prime}=\left[\frac{\mathbf{E} \cdot \mathbf{B}}{K+\sqrt{1+K^{2}}}\right]^{1 / 2},$$

  where $\left(E^{\prime}, B^{\prime}\right)$ are the magnitudes of $\left(\mathbf{E}^{\prime}, \mathbf{B}^{\prime}\right)$, and

  $$K=\frac{1}{2}\left(|\mathbf{E}|^{2}-|\mathbf{B}|^{2}\right) /(\mathbf{E} \cdot \mathbf{B})$$

  [Hint: there is no need to consider the Lorentz transformations for $\mathbf{E}^{\prime}$ and $\mathbf{B}^{\prime}$.]

  comment

• 3.II $. 35 \mathrm{~B} \quad$

  #Electrodynamics

  2005

  A non-relativistic particle of rest mass $m$ and charge $q$ is moving slowly with velocity $\mathbf{v}(t)$. The power $d P / d \Omega$ radiated per unit solid angle in the direction of a unit vector $\mathbf{n}$ is

  $$\frac{d P}{d \Omega}=\frac{\mu_{0}}{16 \pi^{2}}|\mathbf{n} \times q \dot{\mathbf{v}}|^{2} .$$

  Obtain Larmor's formula

  $$P=\frac{\mu_{0} q^{2}}{6 \pi}|\dot{\mathbf{v}}|^{2} .$$

  The particle has energy $\mathcal{E}$ and, starting from afar, makes a head-on collision with a fixed central force described by a potential $V(r)$, where $V(r)>\mathcal{E}$ for $r<r_{0}$ and $V(r)<\mathcal{E}$ for $r>r_{0}$. Let $W$ be the total energy radiated by the particle. Given that $W \ll \mathcal{E}$, show that

  $$W \approx \frac{\mu_{0} q^{2}}{3 \pi m^{2}} \sqrt{\frac{m}{2}} \int_{r_{0}}^{\infty}\left(\frac{d V}{d r}\right)^{2} \frac{d r}{\sqrt{V\left(r_{0}\right)-V(r)}}$$

  comment

• 4.II $. 35 \mathrm{~B} \quad$

  #Electrodynamics

  2005

  In Ginzburg-Landau theory, superconductivity is due to "supercarriers" of mass $m_{s}$ and charge $q_{s}$, which are described by a macroscopic wavefunction $\psi$ with "Mexican hat" potential

  $$V=\alpha(T)|\psi|^{2}+\frac{1}{2} \beta|\psi|^{4}$$

  Here, $\beta>0$ is constant and $\alpha(T)$ is a function of temperature $T$ such that $\alpha(T)>0$ for $T>T_{c}$ but $\alpha(T)<0$ for $T<T_{c}$, where $T_{c}$ is a critical temperature. In the presence of a magnetic field $\mathbf{B}=\boldsymbol{\nabla} \times \mathbf{A}$, the total energy of the superconducting system is

  $$E\left[\psi, \psi^{*}, \mathbf{A}\right]=\int d^{3} x\left[\frac{1}{2 \mu_{0}} A_{k, j}\left(A_{k, j}-A_{j, k}\right)+\frac{\hbar^{2}}{2 m_{s}}\left|\psi_{, k}+i \frac{q_{s}}{\hbar} A_{k} \psi\right|^{2}+V\right]$$

  Use this to derive the equations

  $$-\frac{\hbar^{2}}{2 m_{s}}\left(\nabla-i \frac{q_{s}}{\hbar} \mathbf{A}\right)^{2} \psi+\left(\alpha+\beta|\psi|^{2}\right) \psi=0$$

  and

  $$\boldsymbol{\nabla} \times \mathbf{B} \equiv \boldsymbol{\nabla}(\boldsymbol{\nabla} \cdot \mathbf{A})-\nabla^{2} \mathbf{A}=\mu_{0} \mathbf{j}$$

  where

  $$\begin{aligned} \mathbf{j} &=-\frac{i q_{s} \hbar}{2 m_{s}}\left(\psi^{*} \boldsymbol{\nabla} \psi-\psi \boldsymbol{\nabla} \psi^{*}\right)-\frac{q_{s}^{2}}{m_{s}}|\psi|^{2} \mathbf{A} \\ &=\frac{q_{s}}{2 m_{s}}\left[\psi^{*}\left(-i \hbar \boldsymbol{\nabla}-q_{s} \mathbf{A}\right) \psi+\psi\left(i \hbar \boldsymbol{\nabla}-q_{s} \mathbf{A}\right) \psi^{*}\right] \end{aligned}$$

  Suppose that we write the wavefunction as

  $$\psi=\sqrt{n_{s}} e^{i \theta}$$

  where $n_{s}$ is the (real positive) supercarrier density and $\theta$ is a real phase function. Given that

  $$\left(\boldsymbol{\nabla}-\frac{i q_{s}}{\hbar} \mathbf{A}\right) \psi=0$$

  show that $n_{s}$ is constant and that $\hbar \boldsymbol{\nabla} \theta=q_{s} \mathbf{A}$. Given also that $T<T_{c}$, deduce that (*) allows such solutions for a certain choice of $n_{s}$, which should be determined. Verify that your results imply $\mathbf{j}=\mathbf{0}$. Show also that $\mathbf{B}=\mathbf{0}$ and hence that ( $\dagger$ ) is solved.

  Let $\mathcal{S}$ be a surface within the superconductor with closed boundary $\mathcal{C}$. Show that the magnetic flux through $\mathcal{S}$ is

  $$\Phi \equiv \int_{\mathcal{S}} \mathbf{B} \cdot \mathbf{d} \mathbf{S}=\frac{\hbar}{q_{s}}[\theta]_{\mathcal{C}}$$

  Discuss, briefly, flux quantization.

  comment

• 1.II.35C

  #General Relativity

  2005

  Suppose $(x(\tau), t(\tau))$ is a timelike geodesic of the metric

  $$d s^{2}=\frac{d x^{2}}{1+x^{2}}-\left(1+x^{2}\right) d t^{2}$$

  where $\tau$ is proper time along the world line. Show that $d t / d \tau=E /\left(1+x^{2}\right)$, where $E>1$ is a constant whose physical significance should be stated. Setting $a^{2}=E^{2}-1$, show that

  $$d \tau=\frac{d x}{\sqrt{a^{2}-x^{2}}}, \quad d t=\frac{E d x}{\left(1+x^{2}\right) \sqrt{a^{2}-x^{2}}} .$$

  Deduce that $x$ is a periodic function of proper time $\tau$ with period $2 \pi$. Sketch $d x / d \tau$ as a function of $x$ and superpose on this a sketch of $d x / d t$ as a function of $x$. Given the identity

  $$\int_{-a}^{a} \frac{E d x}{\left(1+x^{2}\right) \sqrt{a^{2}-x^{2}}}=\pi$$

  deduce that $x$ is also a periodic function of $t$ with period $2 \pi$.

  Next consider the family of metrics

  $$d s^{2}=\frac{[1+f(x)]^{2} d x^{2}}{1+x^{2}}-\left(1+x^{2}\right) d t^{2},$$

  where $f$ is an odd function of $x, f(-x)=-f(x)$, and $|f(x)|<1$ for all $x$. Derive expressions analogous to $(*)$ above. Deduce that $x$ is a periodic function of $\tau$ and also that $x$ is a periodic function of $t$. What are the periods?

  comment

• 2.II.35C

  #General Relativity

  2005

  State without proof the properties of local inertial coordinates $x^{a}$ centred on an arbitrary spacetime event $p$. Explain their physical significance.

  Obtain an expression for $\partial_{a} \Gamma_{b}{ }^{c}$ at $p$ in inertial coordinates. Use it to derive the formula

  $$R_{a b c d}=\frac{1}{2}\left(\partial_{b} \partial_{c} g_{a d}+\partial_{a} \partial_{d} g_{b c}-\partial_{b} \partial_{d} g_{a c}-\partial_{a} \partial_{c} g_{b d}\right)$$

  for the components of the Riemann tensor at $p$ in local inertial coordinates. Hence deduce that at any point in any chart $R_{a b c d}=R_{c d a b}$.

  Consider the metric

  $$d s^{2}=\frac{\eta_{a b} d x^{a} d x^{b}}{\left(1+L^{-2} \eta_{a b} x^{a} x^{b}\right)^{2}}$$

  where $\eta_{a b}=\operatorname{diag}(1,1,1,-1)$ is the Minkowski metric tensor and $L$ is a constant. Compute the Ricci scalar $R=R_{a b}^{a b}$ at the origin $x^{a}=0$.

  comment

• 4.II.36C

  #General Relativity

  2005

  State clearly, but do not prove, Birkhoff's Theorem about spherically symmetric spacetimes. Let $(r, \theta, \phi)$ be standard spherical polar coordinates and define $F(r)=$ $1-2 M / r$, where $M$ is a constant. Consider the metric

  $$d s^{2}=\frac{d r^{2}}{F(r)}+r^{2}\left(d \theta^{2}+\sin ^{2} \theta d \phi^{2}\right)-F(r) d t^{2}$$

  Explain carefully why this is appropriate for the region outside a spherically symmetric star that is collapsing to form a black hole.

  By considering radially infalling timelike geodesics $x^{a}=(r(\tau), 0,0, t(\tau))$, where $\tau$ is proper time along the curve, show that a freely falling observer will reach the event horizon after a finite proper time. Show also that a distant observer would see the horizon crossing only after an infinite time.

  comment

• 1.II.36E

  #Fluid Dynamics II

  2005

  Consider a unidirectional flow with dynamic viscosity $\mu$ along a straight rigid-walled channel of uniform cross-sectional shape $\mathcal{D}$ driven by a uniform applied pressure gradient $G$. Write down the differential equation and boundary conditions governing the velocity $w$ along the channel.

  Consider the situation when the boundary includes a sharp corner of angle $2 \alpha$. Explain why one might expect that, sufficiently close to the corner, the solution should be of the form

  $$w=(G / \mu) r^{2} f(\theta)$$

  where $r$ and $\theta$ are polar co-ordinates with origin at the vertex and $\theta=\pm \alpha$ describing the two planes emanating from the corner. Determine $f(\theta)$.

  If $\mathcal{D}$ is the sector bounded by the lines $\theta=\pm \alpha$ and the circular arc $r=a$, show that the flow is given by

  $$w=(G / \mu) r^{2} f(\theta)+\sum_{n=0}^{\infty} A_{n} r^{\lambda_{n}} \cos \lambda_{n} \theta$$

  where $\lambda_{n}$ and $A_{n}$ are to be determined.

  [Note that $\int \cos (a x) \cos (b x) d x=\{a \sin (a x) \cos (b x)-b \sin (b x) \cos (a x)\} /\left(a^{2}-b^{2}\right)$.]

  Considering the values of $\lambda_{0}$ and $\lambda_{1}$, comment briefly on the cases: (i) $2 \alpha<\frac{1}{2} \pi$;

  (ii) $\frac{1}{2} \pi<2 \alpha<\frac{3}{2} \pi$; and (iii) $\frac{3}{2} \pi<2 \alpha<2 \pi$.

  comment

• 2.II.36E

  #Fluid Dynamics II

  2005

  A volume $V$ of very viscous fluid of density $\rho$ and dynamic viscosity $\mu$ is released at the origin on a rigid horizontal boundary at time $t=0$. Using lubrication theory, determine the velocity profile in the gravity current once it has spread sufficiently that the axisymmetric thickness $h(r, t)$ of the current is much less than the radius $R(t)$ of the front.

  Derive the differential equation

  $$\frac{\partial h}{\partial t}=\frac{\beta}{r} \frac{\partial}{\partial r}\left(r h^{3} \frac{\partial h}{\partial r}\right)$$

  where $\beta$ is to be determined.

  Write down the other equations that are needed to determine the appropriate similarity solution for this problem.

  Determine the similarity solution and calculate $R(t)$.

  comment

• $3 . \mathrm{II} . 36 \mathrm{E} \quad$

  #Fluid Dynamics II

  2005

  Write down the Navier-Stokes equations for an incompressible fluid.

  Explain the concepts of the Euler and Prandtl limits applied to the Navier-Stokes equations near a rigid boundary.

  A steady two-dimensional flow given by $(U, 0)$ far upstream flows past a semi-infinite flat plate, held at $y=0, x>0$. Derive the boundary layer equation

  $$\frac{\partial \psi}{\partial y} \frac{\partial^{2} \psi}{\partial x \partial y}-\frac{\partial \psi}{\partial x} \frac{\partial^{2} \psi}{\partial y^{2}}=\nu \frac{\partial^{3} \psi}{\partial y^{3}}$$

  for the stream-function $\psi(x, y)$ near the plate, explaining any approximations made.

  Show that the appropriate solution must be of the form

  $$\psi(x, y)=(\nu U x)^{1 / 2} f(\eta),$$

  and determine the dimensionless variable $\eta$.

  Derive the equation and boundary conditions satisfied by $f(\eta)$. [You need not solve them.]

  Suppose now that the plate has a finite length $L$ in the direction of the flow. Show that the force $F$ on the plate (per unit width perpendicular to the flow) is given by

  $$F=\frac{4 \rho U^{2} L}{(U L / \nu)^{1 / 2}} \frac{f^{\prime \prime}(0)}{\left[f^{\prime}(\infty)\right]^{2}} .$$

  comment

• 4.II.37E

  #Fluid Dynamics II

  2005

  Consider flow of an incompressible fluid of uniform density $\rho$ and dynamic viscosity $\mu$. Show that the rate of viscous dissipation per unit volume is given by

  $$\Phi=2 \mu e_{i j} e_{i j},$$

  where $e_{i j}$ is the strain rate.

  Determine expressions for $e_{i j}$ and $\Phi$ when the flow is irrotational with velocity potential $\phi$. Hence determine the rate of viscous dissipation, averaged over a wave period $2 \pi / \omega$, for an irrotational two-dimensional surface wave of wavenumber $k$ and small amplitude $a \ll k^{-1}$ in a fluid of very small viscosity $\mu \ll \rho \omega / k^{2}$ and great depth $H \gg 1 / k$.

  [You may use without derivation that in deep water a linearised wave with surface displacement $\eta=a \cos (k x-w t)$ has velocity potential $\phi=-(\omega a / k) e^{-k z} \sin (k x-\omega t)$.]

  Calculate the depth-integrated time-averaged kinetic energy per wavelength. Assuming that the average potential energy is equal to the average kinetic energy, show that the total wave energy decreases to leading order like $e^{-\gamma t}$, where

  $$\gamma=4 \mu k^{2} / \rho$$

  comment

• 1.II $37 \mathrm{E} \quad$

  #Waves

  2005

  An elastic solid with density $\rho$ has Lamé moduli $\lambda$ and $\mu$. Write down equations satisfied by the dilational and shear potentials $\phi$ and $\boldsymbol{\psi}$.

  For a two-dimensional disturbance give expressions for the displacement field $\mathbf{u}=\left(u_{x}, u_{y}, 0\right)$ in terms of $\phi(x, y ; t)$ and $\psi=(0,0, \psi(x, y ; t))$.

  Suppose the solid occupies the region $y<0$ and that the surface $y=0$ is free of traction. Find a combination of solutions for $\phi$ and $\psi$ that represent a propagating surface wave (a Rayleigh wave) near $y=0$. Show that the wave is non-dispersive and obtain an equation for the speed $c$. [You may assume without proof that this equation has a unique positive root.]

  comment

• 2.II.37E

  #Waves

  2005

  Show that, in the standard notation for a one-dimensional flow of a perfect gas at constant entropy, the quantity $u+2\left(c-c_{0}\right) /(\gamma-1)$ remains constant along characteristics $d x / d t=u+c$.

  A perfect gas is initially at rest and occupies a tube in $x>0$. A piston is pushed into the gas so that its position at time $t$ is $x(t)=\frac{1}{2} f t^{2}$, where $f>0$ is a constant. Find the time and position at which a shock first forms in the gas.

  comment

• 3.II.37E

  #Waves

  2005

  The real function $\phi(x, t)$ satisfies the equation

  $$\frac{\partial \phi}{\partial t}+U \frac{\partial \phi}{\partial x}=\frac{\partial^{3} \phi}{\partial x^{3}},$$

  where $U>0$ is a constant. Find the dispersion relation for waves of wavenumber $k$ and deduce whether wave crests move faster or slower than a wave packet.

  Suppose that $\phi(x, 0)$ is given by a Fourier transform as

  $$\phi(x, 0)=\int_{-\infty}^{\infty} A(k) e^{i k x} d k$$

  Use the method of stationary phase to find $\phi(V t, t)$ as $t \rightarrow \infty$ for fixed $V>U$.

  [You may use the result that $\int_{-\infty}^{\infty} e^{-a \xi^{2}} d \xi=(\pi / a)^{1 / 2}$ if $\left.\operatorname{Re}(a) \geqslant 0 .\right]$

  What can be said if $V<U$ ? [Detailed calculation is not required in this case.]

  comment

• 4.II $. 38 \mathrm{E} \quad$

  #Waves

  2005

  Starting from the equations of conservation of mass and momentum for an inviscid compressible fluid, show that for small perturbations about a state of rest and uniform density the velocity is irrotational and the velocity potential satisfies the wave equation. Identify the sound speed $c_{0}$.

  Define the acoustic energy density and acoustic energy flux, and derive the equation for conservation of acoustic energy.

  Show that in any (not necessarily harmonic) acoustic plane wave of wavenumber $\mathbf{k}$ the kinetic and potential energy densities are equal and that the acoustic energy is transported with velocity $c_{0} \widehat{\mathbf{k}}$.

  Calculate the kinetic and potential energy densities for a spherically symmetric outgoing wave. Are they equal?

  comment

• 1.II.38A

  #Numerical Analysis

  2005

  Let

  $$\frac{\mu}{4} u_{m-1}^{n+1}+u_{m}^{n+1}-\frac{\mu}{4} u_{m+1}^{n+1}=-\frac{\mu}{4} u_{m-1}^{n}+u_{m}^{n}+\frac{\mu}{4} u_{m+1}^{n},$$

  where $n$ is a positive integer and $m$ ranges over all integers, be a finite-difference method for the advection equation

  $$\frac{\partial u}{\partial t}=\frac{\partial u}{\partial x}, \quad-\infty<x<\infty, \quad t \geqslant 0$$

  Here $\mu=\frac{\Delta t}{\Delta x}$ is the Courant number.

  (a) Show that the local error of the method is $O\left((\Delta x)^{3}\right)$.

  (b) Determine the range of $\mu>0$ for which the method is stable.

  comment

• 2.II.38A

  #Numerical Analysis

  2005

  Define a Krylov subspace $\mathcal{K}_{n}(A, v)$.

  Let $d_{n}$ be the dimension of $\mathcal{K}_{n}(A, v)$. Prove that the sequence $\left\{d_{m}\right\}_{m=1,2, . .}$ increases monotonically. Show that, moreover, there exists an integer $k$ with the following property: $d_{m}=m$ for $m=1,2, \ldots, k$, while $d_{m}=k$ for $m \geqslant k$. Assuming that $A$ has a full set of eigenvectors, show that $k$ is equal to the number of eigenvectors of $A$ required to represent the vector $v$.

  comment

• 3.II.38A

  #Numerical Analysis

  2005

  Consider the Runge-Kutta method

  $$\begin{aligned} k_{1} &=f\left(y_{n}\right) \\ k_{2} &=f\left(y_{n}+(1-a) h k_{1}+a h k_{2}\right), \\ y_{n+1} &=y_{n}+\frac{h}{2}\left(k_{1}+k_{2}\right) \end{aligned}$$

  for the solution of the scalar ordinary differential equation $y^{\prime}=f(y)$. Here $a$ is a real parameter.

  (a) Determine the order of the method.

  (b) Find the range of values of $a$ for which the method is A-stable.

  comment

• 4.II.39A

  #Numerical Analysis

  2005

  An $n \times n$ skew-symmetric matrix $A$ is converted into an upper-Hessenberg form $B$, say, by Householder reflections.

  (a) Describe each step of the procedure and observe that $B$ is tridiagonal. Your algorithm should take advantage of the special form of $A$ to reduce the number of computations.

  (b) Compare the cost (counting only products and looking only at the leading term) of converting a skew-symmetric and a symmetric matrix to an upper-Hessenberg form using Householder reflections.

  comment